 |
| FTP Search |
| Directory |
| Content Search |
|
|
|
|
lbt
converts from LTL formulas to Büchi automata
/Main/Debian/alpha/math/This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net).Info:
Homepage: - Package version: 1.2.2-1 Architecture: alpha Distribution: Debian Filename: lbt_1.2.2-1_alpha.deb Browse inside lbt_1.2.2-1_alpha.deb:
Download lbt_1.2.2-1_alpha.deb:
2005-01-07 ftp://ftp.3logic.net/.1/debian-archive/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2004-01-08 ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2004-01-09 ftp://147.52.159.12/mirrors/linux/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2004-01-09 ftp://77.88.19.68/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2004-01-09 ftp://ftp.uni-wuppertal.de/pub/linux/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2004-01-09 ftp://200.17.202.16/debian-dists/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2004-01-09 ftp://sunsite.mff.cuni.cz/MIRRORS/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.rz.uni-kiel.de/pub2/linux/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.ula.ve/linux/distribuciones/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://cudlug.cudenver.edu/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.hk.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://204.152.191.39/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.estpak.ee/pub/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.uk.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://200.17.202.17/debian-dists/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.man.szczecin.pl/pub/Linux/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-08-06 ftp://ftp.ncku.edu.tw/Linux/Debian/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.gnome.org/cdimage/snapshot/Debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.ro.debian.org/pub/mirrors/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.gva.es/mirror/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.hosteurope.de/mirror/ftp.debian.org/debian-archive/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.linorg.usp.br/debian-raiz/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.informatik.rwth-aachen.de/pub/comp/Linux/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-08-07 ftp://ftp.nsysu.edu.tw/Linux/Debian/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.de.freebsd.org/pub/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.gmd.de/ftp.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.tugraz.at/ftp.tu-graz.ac.at/.mirror-sites/ftp.at.debian.org/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.inf.tu-dresden.de/os/linux/dists/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://core.ring.gr.jp/pub/linux/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://202.18.64.24/pub/linux/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://204.152.191.7/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.aist-nara.ac.jp/0/Linux/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://192.87.102.42/vol/4/linux-debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://192.87.102.43/vol/4/linux-debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://133.37.44.6/pub/linux/debian/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.twaren.net/pub/Linux/Debian/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.uvigo.es/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.cpan.nl/pub/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.task.gda.pl/vol/zfs/ftp.debian.org/pub/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.silug.org/mirrors/ftp.debian.org/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-06 ftp://ftp.polytechnic.edu.na/pub/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.debian.de/debian-archive/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://130.239.18.173/cdimage/snapshot/Debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://130.239.18.137/cdimage/snapshot/Debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.sh.cvut.cz/storage/1/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp.debian.de/archive/debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp2.nl.freebsd.org/debian-cdimage/snapshot/Debian/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
2005-01-07 ftp://ftp2.nl.freebsd.org/debian-archive/pool/main/l/lbt/lbt_1.2.2-1_alpha.deb
| Results 1 - 1 |