Efficient Büchi automata from LTL formulae

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationInternational Conference on Computer Aided Verification
PublisherSpringer
Pages248-263
Publication statusPublished - 2000

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Bloem, R. P., & Somenzi, F. (2000). Efficient Büchi automata from LTL formulae. In International Conference on Computer Aided Verification (pp. 248-263). Springer.