ltl2tgba is currently at http://spot.lip6.fr/cgi-bin/ltl2tgba.py

However the plan is to integrate it into this wiki.

ltl2tgba (last edited 2004-06-26 22:27:59 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.