Revision as of 08:15, 28 March 2012 edit 194.106.115.170 (talk) →References ← Previous edit		Revision as of 08:16, 28 March 2012 edit undo 194.106.115.170 (talk) →Tools Next edit →
Line 248: [http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ LTL2BA] - Fast LTL to BA translator via alternating automata. Online translator available. [http://sourceforge.net/projects/ltl3ba/ LTL3BA] - An up-to-date improvement of LTL2BA. ==References==

Linear temporal logic to Büchi automaton: Difference between revisions