%0 Conference Paper %1 conf/lpar/BlancHHK10 %A Blanc, Régis %A Henzinger, Thomas A. %A Hottelier, Thibaud %A Kovács, Laura %B LPAR (Dakar) %D 2010 %E Clarke, Edmund M. %E Voronkov, Andrei %I Springer %K %P 103-118 %T ABC: Algebraic Bound Computation for Loops. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2010d.html#BlancHHK10 %V 6355 %@ 978-3-642-17510-7

@inproceedings{conf/lpar/BlancHHK10, added-at = {2023-12-13T02:44:57.000+0100}, author = {Blanc, Régis and Henzinger, Thomas A. and Hottelier, Thibaud and Kovács, Laura}, biburl = {https://www.bibsonomy.org/bibtex/268fca7e2d6c027d57ee8072eb98ffe1b/admin}, booktitle = {LPAR (Dakar)}, crossref = {conf/lpar/2010d}, editor = {Clarke, Edmund M. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-17511-4_7}, interhash = {83131f7d2044000f4feebebb093314d4}, intrahash = {68fca7e2d6c027d57ee8072eb98ffe1b}, isbn = {978-3-642-17510-7}, keywords = {}, pages = {103-118}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:44:57.000+0100}, title = {ABC: Algebraic Bound Computation for Loops.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2010d.html#BlancHHK10}, volume = 6355, year = 2010 }