ISO-690 (author-date, English)

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

Elsevier - Harvard (with titles)

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

American Psychological Association 7th edition

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

Springer - Basic (author-date)

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

Juristische Zitierweise (Stüber) (Deutsch)

Baier, Christel/ Katoen, Joost-Pieter, Principles of model checking, Cambridge [u.a.] 2008.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.