@inproceedings{ dblp3628786,
  title = {Efficient Strongly Relational Polyhedral Analysis},
  author = {Sriram Sankaranarayanan and Michael Colón and Henny B. Sipma and Zohar Manna},
  author_short = {Sankaranarayanan, S. and Colón, M. and Sipma, H. B. and Manna, Z.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2006},
  key = {dblp3628786},
  id = {dblp3628786},
  biburl = {http://www.dblp.org/rec/bibtex/conf/vmcai/SankaranarayananCSM06},
  url = {http://dx.doi.org/10.1007/11609773_8},
  conference = {VMCAI},
  pages = {111-125},
  text = {VMCAI 2006:111-125},
  booktitle = {Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)}
}

{"_id":"uH8jnrumQ8iXRXRgK","bibbaseid":"sankaranarayanan-coln-sipma-manna-efficientstronglyrelationalpolyhedralanalysis-2006","downloads":0,"creationDate":"2015-10-19T18:43:42.437Z","title":"Efficient Strongly Relational Polyhedral Analysis","author_short":["Sankaranarayanan, S.","Colón, M.","Sipma, H. B.","Manna, Z."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/vmcai/SankaranarayananCSM06","bibdata":{"title":"Efficient Strongly Relational Polyhedral Analysis","author":["Sriram Sankaranarayanan","Michael Colón","Henny B. Sipma","Zohar Manna"],"author_short":["Sankaranarayanan, S.","Colón, M.","Sipma, H. B.","Manna, Z."],"bibtype":"inproceedings","type":"inproceedings","year":"2006","key":"dblp3628786","id":"dblp3628786","biburl":"http://www.dblp.org/rec/bibtex/conf/vmcai/SankaranarayananCSM06","url":"http://dx.doi.org/10.1007/11609773_8","conference":"VMCAI","pages":"111-125","text":"VMCAI 2006:111-125","booktitle":"Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)","bibtex":"@inproceedings{ dblp3628786,\n title = {Efficient Strongly Relational Polyhedral Analysis},\n author = {Sriram Sankaranarayanan and Michael Colón and Henny B. Sipma and Zohar Manna},\n author_short = {Sankaranarayanan, S. and Colón, M. and Sipma, H. B. and Manna, Z.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3628786},\n id = {dblp3628786},\n biburl = {http://www.dblp.org/rec/bibtex/conf/vmcai/SankaranarayananCSM06},\n url = {http://dx.doi.org/10.1007/11609773_8},\n conference = {VMCAI},\n pages = {111-125},\n text = {VMCAI 2006:111-125},\n booktitle = {Proceedings of Verification, Model Checking and Abstract Interpretation (VMCAI)}\n}","bibbaseid":"sankaranarayanan-coln-sipma-manna-efficientstronglyrelationalpolyhedralanalysis-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11609773_8"},"downloads":0},"search_terms":["efficient","strongly","relational","polyhedral","analysis","sankaranarayanan","colón","sipma","manna"],"keywords":[],"authorIDs":[],"dataSources":["e8jWYnJnMfX4akNJ7"]}