%0 Conference Paper %1 conf/oopsla/CarbinMR13 %A Carbin, Michael %A Misailovic, Sasa %A Rinard, Martin C. %B OOPSLA %D 2013 %E Hosking, Antony L. %E Eugster, Patrick Th. %E Lopes, Cristina V. %I ACM %K %P 33-52 %T Verifying quantitative reliability for programs that execute on unreliable hardware. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#CarbinMR13 %@ 978-1-4503-2374-1

@inproceedings{conf/oopsla/CarbinMR13, added-at = {2023-12-13T08:54:51.000+0100}, author = {Carbin, Michael and Misailovic, Sasa and Rinard, Martin C.}, biburl = {https://www.bibsonomy.org/bibtex/291a9e91fe1737576f5394f22319cd55b/admin}, booktitle = {OOPSLA}, crossref = {conf/oopsla/2013}, editor = {Hosking, Antony L. and Eugster, Patrick Th. and Lopes, Cristina V.}, ee = {https://doi.org/10.1145/2509136.2509546}, interhash = {c8ed04344fbea76caa8e3521eae8bbef}, intrahash = {91a9e91fe1737576f5394f22319cd55b}, isbn = {978-1-4503-2374-1}, keywords = {}, pages = {33-52}, publisher = {ACM}, timestamp = {2023-12-13T08:54:51.000+0100}, title = {Verifying quantitative reliability for programs that execute on unreliable hardware.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#CarbinMR13}, year = 2013 }