Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}