DBLP Record 'conf/wia/BloemCPRS06'

BibTeX

@inproceedings{DBLP:conf/wia/BloemCPRS06,
  author    = {Roderick Bloem and
               Alessandro Cimatti and
               Ingo Pill and
               Marco Roveri and
               Simone Semprini},
  title     = {Symbolic Implementation of Alternating Automata},
  booktitle = {CIAA},
  year      = {2006},
  pages     = {208-218},
  ee        = {http://dx.doi.org/10.1007/11812128_20},
  crossref  = {DBLP:conf/wia/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wia/2006,
  editor    = {Oscar H. Ibarra and
               Hsu-Chun Yen},
  title     = {Implementation and Application of Automata, 11th International
               Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006,
               Proceedings},
  booktitle = {CIAA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4094},
  year      = {2006},
  isbn      = {3-540-37213-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}