%0 Conference Paper %1 conf/esop/HoffmannH10 %A 0002, Jan Hoffmann %A 0001, Martin Hofmann %B ESOP %D 2010 %E Gordon, Andrew D. %I Springer %K analysis bound functional resource %P 287-306 %T Amortized Resource Analysis with Polynomial Potential. %U http://dblp.uni-trier.de/db/conf/esop/esop2010.html#HoffmannH10 %V 6012 %@ 978-3-642-11956-9

@inproceedings{conf/esop/HoffmannH10, added-at = {2014-09-11T12:06:29.000+0200}, author = {0002, Jan Hoffmann and 0001, Martin Hofmann}, biburl = {https://www.bibsonomy.org/bibtex/23021fca64469fd5f355bfd3410b8edea/fibso}, booktitle = {ESOP}, crossref = {conf/esop/2010}, editor = {Gordon, Andrew D.}, ee = {http://dx.doi.org/10.1007/978-3-642-11957-6_16}, interhash = {bb4c74eab49db7cf76f4e909aefaa4fb}, intrahash = {3021fca64469fd5f355bfd3410b8edea}, isbn = {978-3-642-11956-9}, keywords = {analysis bound functional resource}, pages = {287-306}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2014-09-11T12:06:29.000+0200}, title = {Amortized Resource Analysis with Polynomial Potential.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2010.html#HoffmannH10}, volume = 6012, year = 2010 }