@inproceedings{06fd1174c4e04abdbdc4367137b2bdb9,
title = "Symbolic implementation of alternating automata",
author = "Ingo Pill and Bloem, {Roderick Paul} and Alessandro Cimatti and Marco Roveri and Simone Semprini",
note = "International Conference on Implementation and Application of Automata ; Conference date: 21-08-2006 Through 23-08-2006",
year = "2006",
doi = "https://doi.org/10.1007/11812128_20",
language = "English",
isbn = "3-540-37213-X",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer Open",
pages = "208--218",
booktitle = "Implementation and application of automata. CIAA 2006.",
address = "United Kingdom",
}