Symbolic Implementation of Alternating Automata

Roderick Paul Bloem, Alessandro Cimatti, Ingo Hans Pill, Marco Roveri

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)727-743
FachzeitschriftInternational journal of foundations of computer science
Jahrgang18
Ausgabenummer4
DOIs
PublikationsstatusVeröffentlicht - 2007

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren