Efficient Büchi automata from LTL formulae

Roderick Paul Bloem, F. Somenzi

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalspracheenglisch
TitelInternational Conference on Computer Aided Verification
Herausgeber (Verlag)Springer
Seiten248-263
PublikationsstatusVeröffentlicht - 2000

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren