%0 Conference Paper %1 conf/fct/GantyI15 %A Ganty, Pierre %A Iosif, Radu %B FCT %D 2015 %E Kosowski, Adrian %E Walukiewicz, Igor %I Springer %K dblp %P 133-145 %T Interprocedural Reachability for Flat Integer Programs. %U http://dblp.uni-trier.de/db/conf/fct/fct2015.html#GantyI15 %V 9210 %@ 978-3-319-22176-2

@inproceedings{conf/fct/GantyI15, added-at = {2017-05-17T00:00:00.000+0200}, author = {Ganty, Pierre and Iosif, Radu}, biburl = {https://www.bibsonomy.org/bibtex/23198cf866703633e6ce5866015391994/dblp}, booktitle = {FCT}, crossref = {conf/fct/2015}, editor = {Kosowski, Adrian and Walukiewicz, Igor}, ee = {https://doi.org/10.1007/978-3-319-22177-9_11}, interhash = {9374e61feef87316646ca9d8052f48a7}, intrahash = {3198cf866703633e6ce5866015391994}, isbn = {978-3-319-22176-2}, keywords = {dblp}, pages = {133-145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:30:35.000+0200}, title = {Interprocedural Reachability for Flat Integer Programs.}, url = {http://dblp.uni-trier.de/db/conf/fct/fct2015.html#GantyI15}, volume = 9210, year = 2015 }