Cite Them Right 11th edition - Harvard

Baier, C. und Katoen, J.-P. (2008) Principles of model checking [book]. Cambridge [u.a.]: MIT Press.

Chicago Manual of Style 17th edition (full note)

Baier, Christel, und Joost-Pieter Katoen. Principles of model checking. Book. Cambridge [u.a.]: MIT Press, [2008?], Cambridge [u.a.]: MIT Press, [2008?].

American Psychological Association 7th edition

Baier, C., & Katoen, J.-P. (ca. 2008). Principles of model checking [Book]. MIT Press.

Modern Language Association 9th edition

Baier, C., und J.-P. Katoen. Principles of model checking. book, MIT Press, 2008.

ISO-690 (author-date, Deutsch)

BAIER, Christel und Joost-Pieter KATOEN, 2008. Principles of model checking. Cambridge [u.a.]: MIT Press. ISBN 9780262026499

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