Cita APA (7a ed.)
Carbin, M., Misailovic, S., & Rinard, M. C. (2016). Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware. Communications of the ACM, 59(8), 83-92.
Cita Chicago Style (17a ed.)
Carbin, Michael, Sasa Misailovic, y Martin C. Rinard. "Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware." Communications of the ACM 59, no. 8 (2016): 83-92.
Cita MLA (9a ed.)
Carbin, Michael, et al. "Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware." Communications of the ACM, vol. 59, no. 8, 2016, pp. 83-92.
Precaución: Estas citas no son 100% exactas.