OFF | cURL : OFF | WGET : ON | Perl : ON | Python : OFF Directory (0755) : /usr/share/libthai/../locale/hi/../cv/../sl/../aa/../zh_Hant/../mjw/../et/../../doc-base/ |
Home | ☍ Command | ☍ Upload File | ☍Info Server | ☍ Buat File | ☍ Mass deface | ☍ Jumping | ☍ Config | ☍ Symlink | ☍ About |
---|
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