%0 Conference Paper %1 conf/isola/SchordanLQP14 %A Schordan, Markus %A Lin, Pei-Hung %A Quinlan, Daniel J. %A Pouchet, Louis-Noël %B ISoLA (2) %D 2014 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 493-508 %T Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations. %U http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#SchordanLQP14 %V 8803 %@ 978-3-662-45230-1

@inproceedings{conf/isola/SchordanLQP14, added-at = {2021-07-25T00:00:00.000+0200}, author = {Schordan, Markus and Lin, Pei-Hung and Quinlan, Daniel J. and Pouchet, Louis-Noël}, biburl = {https://www.bibsonomy.org/bibtex/2428bf6a3f379cac08c7a8f5748245627/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2014-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-662-45231-8_41}, interhash = {0064c156c237f72791b2e76adf20612e}, intrahash = {428bf6a3f379cac08c7a8f5748245627}, isbn = {978-3-662-45230-1}, keywords = {dblp}, pages = {493-508}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:51:33.000+0200}, title = {Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2014-2.html#SchordanLQP14}, volume = 8803, year = 2014 }