%0 Journal Article %1 journals/jar/AlbertAGP11 %A Albert, Elvira %A Arenas, Puri %A Genaim, Samir %A Puebla, Germán %D 2011 %J J. Autom. Reason. %K dblp %N 2 %P 161-203 %T Closed-Form Upper Bounds in Static Cost Analysis. %U http://dblp.uni-trier.de/db/journals/jar/jar46.html#AlbertAGP11 %V 46

@article{journals/jar/AlbertAGP11, added-at = {2022-01-03T00:00:00.000+0100}, author = {Albert, Elvira and Arenas, Puri and Genaim, Samir and Puebla, Germán}, biburl = {https://www.bibsonomy.org/bibtex/2e38acf03a1e07eb90a157650b103b4c7/dblp}, ee = {https://doi.org/10.1007/s10817-010-9174-1}, interhash = {d897fa9c4a25a3dc1a84b594a993c59c}, intrahash = {e38acf03a1e07eb90a157650b103b4c7}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {161-203}, timestamp = {2024-04-09T05:03:01.000+0200}, title = {Closed-Form Upper Bounds in Static Cost Analysis.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar46.html#AlbertAGP11}, volume = 46, year = 2011 }