Efficient Büchi automata from LTL formulae

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

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

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren