Cita APA (7a ed.)
BAIER, C., HAVERKORT, B. R., HERMANNS, H., & KATOEN, J. (2010). Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53(9), 76-86.
Cita Chicago Style (17a ed.)
BAIER, CHRISTEL, BOUDEWIJN R. HAVERKORT, HOLGER HERMANNS, y JOOST-PIETER KATOEN. "Performance Evaluation and Model Checking Join Forces." Communications of the ACM 53, no. 9 (2010): 76-86.
Cita MLA (9a ed.)
BAIER, CHRISTEL, et al. "Performance Evaluation and Model Checking Join Forces." Communications of the ACM, vol. 53, no. 9, 2010, pp. 76-86.
Precaución: Estas citas no son 100% exactas.