Abstract interpretation from Büchi automata. Hofmann 0001, M. & Chen, W. In Proceedings of CSL-LICS, pages 51:1-51:10, 2014.
Abstract interpretation from Büchi automata [link]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