Cita APA (7a ed.)

Clarke, E. M., Grumberg, O., & Peled, D. (1999). Model checking. The Mit Press.

Cita Chicago Style (17a ed.)

Clarke, Edmund M., Orna Grumberg, y Doron Peled. Model Checking. Cambridge, [etc.]: The Mit Press, 1999.

Cita MLA (9a ed.)

Clarke, Edmund M., et al. Model Checking. The Mit Press, 1999.