Cita APA (7a ed.)
Clarke, E. M., Emerson, E. A., & Sifakis, J. (2009). Model Checking: Algorithmic Verification and Debugging. Communications of the ACM, 52(11), 75-85.
Cita Chicago Style (17a ed.)
Clarke, Edmund M., E. Allen Emerson, y Joseph Sifakis. "Model Checking: Algorithmic Verification and Debugging." Communications of the ACM 52, no. 11 (2009): 75-85.
Cita MLA (9a ed.)
Clarke, Edmund M., et al. "Model Checking: Algorithmic Verification and Debugging." Communications of the ACM, vol. 52, no. 11, 2009, pp. 75-85.
Precaución: Estas citas no son 100% exactas.