Document: lbt
Title: LBT Manual
Authors: 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: math

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