Symbolic guided search for CTL model checking

Roderick Paul Bloem, K. Ravi, F. Somenzi

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

Originalspracheenglisch
TitelDesign Automation Conference
Herausgeber (Verlag).
Seiten29-34
PublikationsstatusVeröffentlicht - 2000

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren

Bloem, R. P., Ravi, K., & Somenzi, F. (2000). Symbolic guided search for CTL model checking. in Design Automation Conference (S. 29-34). ..