Cite Them Right 11th edition - Harvard

Laroussinie, F. (2010) „CHRISTEL BAIER AND JOOST-PIETER KATOEN * Principles of Model Checking. MIT Press (May 2008). * ISBN: 978-0-262-02649-9. {pound}44.95. 975 pp. Hardcover“. doi:10.1093/comjnl/bxp025.

Chicago Manual of Style 17th edition (full note)

Laroussinie, François. „CHRISTEL BAIER AND JOOST-PIETER KATOEN * Principles of Model Checking. MIT Press (May 2008). * ISBN: 978-0-262-02649-9. {pound}44.95. 975 Pp. Hardcover“, 1. Januar 2010. https://doi.org/10.1093/comjnl/bxp025.

American Psychological Association 7th edition

Laroussinie, F. (2010). CHRISTEL BAIER AND JOOST-PIETER KATOEN * Principles of Model Checking. MIT Press (May 2008). * ISBN: 978-0-262-02649-9. {pound}44.95. 975 pp. Hardcover. https://doi.org/10.1093/comjnl/bxp025

Modern Language Association 9th edition

Laroussinie, F. CHRISTEL BAIER AND JOOST-PIETER KATOEN * Principles of Model Checking. MIT Press (May 2008). * ISBN: 978-0-262-02649-9. {pound}44.95. 975 Pp. Hardcover. Januar 2010, https://doi.org/10.1093/comjnl/bxp025.

ISO-690 (author-date, Deutsch)

LAROUSSINIE, François, 2010. CHRISTEL BAIER AND JOOST-PIETER KATOEN * Principles of Model Checking. MIT Press (May 2008). * ISBN: 978-0-262-02649-9. {pound}44.95. 975 pp. Hardcover . 1 Januar 2010. DOI 10.1093/comjnl/bxp025

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