TY  - RPRT
TI  - Verifying quantitative reliability for programs that execute on unreliable hardware
AU  - Carbin, Michael
AU  - Misailovic, Sasa
AU  - Rinard, Martin C.
PY  - 2016
DO  - 10.1145/2958738
UR  - https://www.osti.gov/biblio/1558084
ID  - 1558084
ER  -