Document: lbt
Title: LBT Manual
Author: Marko Mäkelä <msmakela@tcs.hut.fi>
Abstract: This manual describes how to use lbt, a tool to translate linear temporal logic formulas into generalized Büchi automata.
Section: Science/Mathematics

Format: HTML
Index: /usr/share/doc/lbt/index.html
Files: /usr/share/doc/lbt/*.html
