APA

Clarke E. M., Grumberg O. & Peled D. (2002). Model checking. Cambridge, Mass. [u.a.]: MIT Press.

Chicago

Clarke Edmund M, Grumberg Orna and Peled Doron. 2002. Model checking. Cambridge, Mass. [u.a.]: MIT Press.

Harvard

Clarke E. M., Grumberg O. and Peled D. (2002). Model checking. Cambridge, Mass. [u.a.]: MIT Press.

MLA

Clarke Edmund M, Grumberg Orna and Peled Doron. Model checking. Cambridge, Mass. [u.a.]: MIT Press. 2002.