%0 Conference Paper %1 conf/fm/JostLHSH09 %A Jost, Steffen %A Loidl, Hans-Wolfgang %A Hammond, Kevin %A Scaife, Norman %A Hofmann, Martin %B FM %D 2009 %E Cavalcanti, Ana %E Dams, Dennis %I Springer %K dblp %P 354-369 %T "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. %U http://dblp.uni-trier.de/db/conf/fm/fm2009.html#JostLHSH09 %V 5850 %@ 978-3-642-05088-6

@inproceedings{conf/fm/JostLHSH09, added-at = {2023-08-28T00:00:00.000+0200}, author = {Jost, Steffen and Loidl, Hans-Wolfgang and Hammond, Kevin and Scaife, Norman and Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2a62388ee877d3a7da2a294d79ecfc073/dblp}, booktitle = {FM}, crossref = {conf/fm/2009}, editor = {Cavalcanti, Ana and Dams, Dennis}, ee = {https://www.wikidata.org/entity/Q113989289}, interhash = {64f8541dbb38001991c7086507353b4c}, intrahash = {a62388ee877d3a7da2a294d79ecfc073}, isbn = {978-3-642-05088-6}, keywords = {dblp}, pages = {354-369}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:23.000+0200}, title = {"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2009.html#JostLHSH09}, volume = 5850, year = 2009 }