LTL2BA - Version 1.0 - October 2001
Written by Denis Oddoux, LIAFA, France                                 
Copyright (c) 2001  Denis Oddoux                                       
     
LTL2BA - Version 1.1 - August 2007
Modified by Paul Gastin, LSV, France                                 
Copyright (c) 2007  Paul Gastin                                       
Available at http://www.lsv.ens-cachan.fr/~gastin/ltl2ba

jltl2ba - November 2007
Ported by Carlos S. Bederian, FaMAF, Argentina
Copyright (c) 2007 Carlos S. Bederian
                                                                  
This package is a Java port of LTL2BA 1.1 by Carlos Bederian
for use with PRISM.

The LTL2BA software was written by Denis Oddoux and modified by Paul
Gastin.  It is based on the translation algorithm presented at CAV '01:
	P.Gastin and D.Oddoux
	"Fast LTL to B�chi Automata Translation" 
	in 13th International Conference on Computer Aided Verification, CAV 2001, 
	G. Berry, H. Comon, A. Finkel (Eds.)
	Paris, France, July 18-22, 2001, 
	Proceedings - LNCS 2102, pp. 53-65

Part of the code included is issued from the SPIN software Version 3.4.1
The SPIN software is written by Gerard J. Holzmann, originally as part
of ``Design and Validation of Protocols,'' ISBN 0-13-539925-4,
1991, Prentice Hall, Englewood Cliffs, NJ, 07632
