%0 Conference Paper %1 conf/aaim/CharlesHK09 %A Charles, Philip J. %A Howe, Jacob M. %A King, Andy %B AAIM %D 2009 %E Goldberg, Andrew V. %E Zhou, Yunhong %I Springer %K dblp %P 85-99 %T Integer Polyhedra for Program Analysis. %U http://dblp.uni-trier.de/db/conf/aaim/aaim2009.html#CharlesHK09 %V 5564 %@ 978-3-642-02157-2

@inproceedings{conf/aaim/CharlesHK09, added-at = {2017-09-16T00:00:00.000+0200}, author = {Charles, Philip J. and Howe, Jacob M. and King, Andy}, biburl = {https://www.bibsonomy.org/bibtex/20696850d2ee0750400b78893e78ff3b7/dblp}, booktitle = {AAIM}, crossref = {conf/aaim/2009}, editor = {Goldberg, Andrew V. and Zhou, Yunhong}, ee = {https://doi.org/10.1007/978-3-642-02158-9_9}, interhash = {ab9de7af0a92a88d0e972d2b02ee10e5}, intrahash = {0696850d2ee0750400b78893e78ff3b7}, isbn = {978-3-642-02157-2}, keywords = {dblp}, pages = {85-99}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:46:02.000+0200}, title = {Integer Polyhedra for Program Analysis.}, url = {http://dblp.uni-trier.de/db/conf/aaim/aaim2009.html#CharlesHK09}, volume = 5564, year = 2009 }