Symbolic implementation of alternating automata

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

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

Originalspracheenglisch
TitelImplementation and application of automata
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten208-218
ISBN (Print)3-540-37213-X
PublikationsstatusVeröffentlicht - 2006
VeranstaltungInternational Conference on Implementation and Application of Automata - Taipei, Taiwan
Dauer: 21 Aug. 200623 Aug. 2006

Konferenz

KonferenzInternational Conference on Implementation and Application of Automata
Land/GebietTaiwan
OrtTaipei
Zeitraum21/08/0623/08/06

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental
  • EU - Prosyd - Property-Based System Design

    Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.

    1/01/0431/12/06

    Projekt: Forschungsprojekt

Dieses zitieren