@inproceedings{ dblp2069532,
  title = {Abstract interpretation from Büchi automata},
  author = {Martin Hofmann 0001 and Wei Chen},
  author_short = {Hofmann 0001, M. and Chen, W.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp2069532},
  id = {dblp2069532},
  biburl = {http://www.dblp.org/rec/bibtex/conf/csl/0001C14},
  url = {http://doi.acm.org/10.1145/2603088.2603127},
  conference = {CSL-LICS},
  pages = {51:1-51:10},
  text = {CSL-LICS 2014:51:1-51:10},
  booktitle = {Proceedings of CSL-LICS}
}

{"_id":"nkMzBFxdcG5SXydjv","authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Chen, W."],"bibbaseid":"hofmann0001-chen-abstractinterpretationfrombchiautomata-2014","bibdata":{"title":"Abstract interpretation from Büchi automata","author":["Martin Hofmann 0001","Wei Chen"],"author_short":["Hofmann 0001, M.","Chen, W."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp2069532","id":"dblp2069532","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/0001C14","url":"http://doi.acm.org/10.1145/2603088.2603127","conference":"CSL-LICS","pages":"51:1-51:10","text":"CSL-LICS 2014:51:1-51:10","booktitle":"Proceedings of CSL-LICS","bibtex":"@inproceedings{ dblp2069532,\n title = {Abstract interpretation from Büchi automata},\n author = {Martin Hofmann 0001 and Wei Chen},\n author_short = {Hofmann 0001, M. and Chen, W.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp2069532},\n id = {dblp2069532},\n biburl = {http://www.dblp.org/rec/bibtex/conf/csl/0001C14},\n url = {http://doi.acm.org/10.1145/2603088.2603127},\n conference = {CSL-LICS},\n pages = {51:1-51:10},\n text = {CSL-LICS 2014:51:1-51:10},\n booktitle = {Proceedings of CSL-LICS}\n}","bibbaseid":"hofmann0001-chen-abstractinterpretationfrombchiautomata-2014","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2603088.2603127"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/0001C14","creationDate":"2014-10-06T15:23:32.078Z","downloads":0,"keywords":[],"search_terms":["abstract","interpretation","chi","automata","hofmann 0001","chen"],"title":"Abstract interpretation from Büchi automata","year":2014,"dataSources":["SXCGP4DjGePLmB4et"]}