lbt2dot(1) on Linux
The text 5140b84ae447, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
LTL to Büchi Translator
The text 5140b84ae447, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
LTL to Büchi Translator