Symbolic implementation of alternating automata

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationImplementation and application of automata
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages208-218
ISBN (Print)3-540-37213-X
Publication statusPublished - 2006
EventInternational Conference on Implementation and Application of Automata - Taipei, Taiwan, Province of China
Duration: 21 Aug 200623 Aug 2006

Conference

ConferenceInternational Conference on Implementation and Application of Automata
CountryTaiwan, Province of China
CityTaipei
Period21/08/0623/08/06

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this