APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Clarke, Edmund M., Orna Grumberg, und Doron Peled. Model Checking. Cambridge, Mass. [u.a.]: MIT Press, 1999.

MLA-Zitierstil (9. Ausg.)

Clarke, Edmund M., et al. Model Checking. MIT Press, 1999.