swMATH29442MaRDI QIDQ41156FDOQ41156
Author name not available (Why is that?)
Official website: http://www.tcs.hut.fi/Software/lbtt/
Cited In (13)
- Leviathan
- Efficient approach of translating LTL formulae into Büchi automata
- Manipulating LTL Formulas Using Spot 1.0
- SPOT
- LTL2BA
- autcross
- LBT
- ltlcross
- ltlfilt
- Degeneralization algorithm for generation of Büchi automata based on contented situation
- Aalta
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
- On the relationship between LTL normal forms and Büchi automata
This page was built for software: lbtt
