LBT(1) - manual page | User commands LTL to Büchi Translator. Chapters NAMESYNOPSISDESCRIPTIONEXAMPLESEE ALSOFILESAUTHOR August 10, 2001 Loading manual page ... Download lbt(1).txt | manual plain text file Downloading man page ... Find manuals Go top