lbtt
From MaRDI portal
Software:41156
swMATH29442MaRDI QIDQ41156FDOQ41156
Author name not available (Why is that?)
Cited In (5)
- Efficient approach of translating LTL formulae into Büchi automata
- Manipulating LTL Formulas Using Spot 1.0
- Degeneralization algorithm for generation of Büchi automata based on contented situation
- On the Relationship between LTL Normal Forms and Büchi Automata
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
This page was built for software: lbtt
