Efficient Büchi automata from LTL formulae

Roderick Paul Bloem, F. Somenzi

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

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