@inproceedings{DBLP:conf/wia/BloemCPRS06,
  author    = {Roderick Bloem and
               Alessandro Cimatti and
               Ingo 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},
  series    = {Lecture Notes in Computer Science},
  volume    = {4094},
  pages     = {208--218},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11812128\_20},
  doi       = {10.1007/11812128\_20},
  timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wia/BloemCPRS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"zaHQvdfK4JGed32im","bibbaseid":"bloem-cimatti-pill-roveri-semprini-symbolicimplementationofalternatingautomata-2006","author_short":["Bloem, R.","Cimatti, A.","Pill, I.","Roveri, M.","Semprini, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Roderick"],"propositions":[],"lastnames":["Bloem"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Cimatti"],"suffixes":[]},{"firstnames":["Ingo"],"propositions":[],"lastnames":["Pill"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]},{"firstnames":["Simone"],"propositions":[],"lastnames":["Semprini"],"suffixes":[]}],"editor":[{"firstnames":["Oscar","H."],"propositions":[],"lastnames":["Ibarra"],"suffixes":[]},{"firstnames":["Hsu-Chun"],"propositions":[],"lastnames":["Yen"],"suffixes":[]}],"title":"Symbolic Implementation of Alternating Automata","booktitle":"Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings","series":"Lecture Notes in Computer Science","volume":"4094","pages":"208–218","publisher":"Springer","year":"2006","url":"https://doi.org/10.1007/11812128_20","doi":"10.1007/11812128_20","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/wia/BloemCPRS06.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/wia/BloemCPRS06,\n author = {Roderick Bloem and\n Alessandro Cimatti and\n Ingo Pill and\n Marco Roveri and\n Simone Semprini},\n editor = {Oscar H. Ibarra and\n Hsu{-}Chun Yen},\n title = {Symbolic Implementation of Alternating Automata},\n booktitle = {Implementation and Application of Automata, 11th International Conference,\n {CIAA} 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {4094},\n pages = {208--218},\n publisher = {Springer},\n year = {2006},\n url = {https://doi.org/10.1007/11812128\\_20},\n doi = {10.1007/11812128\\_20},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/wia/BloemCPRS06.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bloem, R.","Cimatti, A.","Pill, I.","Roveri, M.","Semprini, S."],"editor_short":["Ibarra, O. H.","Yen, H."],"key":"DBLP:conf/wia/BloemCPRS06","id":"DBLP:conf/wia/BloemCPRS06","bibbaseid":"bloem-cimatti-pill-roveri-semprini-symbolicimplementationofalternatingautomata-2006","role":"author","urls":{"Paper":"https://doi.org/10.1007/11812128_20"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/83/563.bib","dataSources":["SzPGZamk2BCyHJTQr"],"keywords":[],"search_terms":["symbolic","implementation","alternating","automata","bloem","cimatti","pill","roveri","semprini"],"title":"Symbolic Implementation of Alternating Automata","year":2006}