Abstract interpretation from Büchi automata. Hofmann 0001, M. & Chen, W. In Proceedings of CSL-LICS, pages 51:1-51:10, 2014.
Paper bibtex @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}
}
Downloads: 0
{"_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"]}