Publications

DBLP:conf/wia/BloemCPRS06

Summary

Roderick Bloem, Alessandro Cimatti, I. Pill, Marco Roveri and Simone Semprini (2006) Symbolic Implementation of Alternating Automata.. In Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings. (Oscar H. Ibarra and Hsu-Chun Yen, Eds.) Springer, pages 208-218. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/wia/BloemCPRS06,
    AUTHOR = { Roderick Bloem and Alessandro Cimatti and I. Pill and Marco Roveri and Simone Semprini },
    EDITOR = { Oscar H. Ibarra and Hsu-Chun Yen },
    TITLE = { Symbolic Implementation of Alternating Automata. },
    BOOKTITLE = { Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings },
    PUBLISHER = { Springer },
    YEAR = { 2006 },
    ISBN = { 3-540-37213-X },
    PAGES = { 208-218 },
    EE = { http://dx.doi.org/10.1007/11812128 },
    BIBSOURCE = { DBLP,http://dblp.uni-trier.de },
}