Cite Them Right 11th edition - Harvard

Christel Baier, Joost-Pieter Katoen, Christel Baier und Joost-Pieter Katoen (2008) Principles of Model Checking.

Chicago Manual of Style 17th edition (full note)

Christel Baier, Joost-Pieter Katoen, Christel Baier, und Joost-Pieter Katoen. Principles of Model Checking.

American Psychological Association 7th edition

Christel Baier, Joost-Pieter Katoen, Christel Baier, & Joost-Pieter Katoen. (2008). Principles of Model Checking.

Modern Language Association 9th edition

Christel Baier, Joost-Pieter Katoen, Christel Baier, und Joost-Pieter Katoen. Principles of Model Checking. 2008.

ISO-690 (author-date, Deutsch)

CHRISTEL BAIER, JOOST-PIETER KATOEN, CHRISTEL BAIER und JOOST-PIETER KATOEN, 2008. Principles of Model Checking

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