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 contributionResearchpeer-review

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

Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M., & Semprini, S. (2006). Symbolic implementation of alternating automata. In Implementation and application of automata (pp. 208-218). Berlin [u.a.]: Springer.

Symbolic implementation of alternating automata. / Pill, Ingo Hans; Bloem, Roderick Paul; Cimatti, Alessandro; Roveri, Marco; Semprini, Simone.

Implementation and application of automata. Berlin [u.a.] : Springer, 2006. p. 208-218.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Pill, IH, Bloem, RP, Cimatti, A, Roveri, M & Semprini, S 2006, Symbolic implementation of alternating automata. in Implementation and application of automata. Springer, Berlin [u.a.], pp. 208-218, International Conference on Implementation and Application of Automata, Taipei, Taiwan, Province of China, 21/08/06.
Pill IH, Bloem RP, Cimatti A, Roveri M, Semprini S. Symbolic implementation of alternating automata. In Implementation and application of automata. Berlin [u.a.]: Springer. 2006. p. 208-218
Pill, Ingo Hans ; Bloem, Roderick Paul ; Cimatti, Alessandro ; Roveri, Marco ; Semprini, Simone. / Symbolic implementation of alternating automata. Implementation and application of automata. Berlin [u.a.] : Springer, 2006. pp. 208-218
@inproceedings{6b388821ce884fe180719836cc6dd9e3,
title = "Symbolic implementation of alternating automata",
author = "Pill, {Ingo Hans} and Bloem, {Roderick Paul} and Alessandro Cimatti and Marco Roveri and Simone Semprini",
year = "2006",
language = "English",
isbn = "3-540-37213-X",
pages = "208--218",
booktitle = "Implementation and application of automata",
publisher = "Springer",

}

TY - GEN

T1 - Symbolic implementation of alternating automata

AU - Pill, Ingo Hans

AU - Bloem, Roderick Paul

AU - Cimatti, Alessandro

AU - Roveri, Marco

AU - Semprini, Simone

PY - 2006

Y1 - 2006

M3 - Conference contribution

SN - 3-540-37213-X

SP - 208

EP - 218

BT - Implementation and application of automata

PB - Springer

CY - Berlin [u.a.]

ER -