American Psychological Association 6th edition

Clarke, E. M., Grumberg, O., & Peled, D. [ca. 1999]. Model checking [Book]. Cambridge, MA [u.a.]: MIT Press.

ISO-690 (author-date, English)

CLARKE, Edmund M., GRUMBERG, Orna und PELED, Doron, 1999. Model checking. Cambridge, MA [u.a.]: MIT Press. ISBN 0262032708.

Modern Language Association 9th edition

Clarke, E. M., O. Grumberg, und D. Peled. Model checking. book, MIT Press, 1999.

Mohr Siebeck - Recht (Deutsch - Österreich)

Clarke, Edmund M./Grumberg, Orna/Peled, Doron: Model checking, Cambridge, MA [u.a.] 1999.

Emerald - Harvard

Clarke, E.M., Grumberg, O. und Peled, D. (1999), Model checking, Bd. , MIT Press, Cambridge, MA [u.a.].

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.