Symbolic Implementation of Alternating Automata

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

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)727-743
JournalInternational journal of foundations of computer science
Volume18
Issue number4
DOIs
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this