Cite Them Right 11th edition - Harvard

Edelkamp, S., Schuppan, V., Bošnački, D., Wijs, A., Fehnker, A. und Aljazzar, H. (2010) Survey on Directed Model Checking [cd]. Konstanz: Bibliothek der Universität Konstanz. doi:urn:nbn:de:bsz:352-opus-105044.

Chicago Manual of Style 17th edition (full note)

Edelkamp, Stefan, Viktor Schuppan, Dragan Bošnački, Anton Wijs, Ansgar Fehnker, und Husain Aljazzar. Survey on Directed Model Checking. Cd. Konstanz: Bibliothek der Universität Konstanz, [2010?], Konstanz: Bibliothek der Universität Konstanz, [2010?]. https://doi.org/urn:nbn:de:bsz:352-opus-105044.

American Psychological Association 7th edition

Edelkamp, S., Schuppan, V., Bošnački, D., Wijs, A., Fehnker, A., & Aljazzar, H. (ca. 2010). Survey on Directed Model Checking [Cd]. Bibliothek der Universität Konstanz. https://doi.org/urn:nbn:de:bsz:352-opus-105044

Modern Language Association 9th edition

Edelkamp, S., V. Schuppan, D. Bošnački, A. Wijs, A. Fehnker, und H. Aljazzar. Survey on Directed Model Checking. cd, Bibliothek der Universität Konstanz, 2010, https://doi.org/urn:nbn:de:bsz:352-opus-105044.

ISO-690 (author-date, Deutsch)

EDELKAMP, Stefan, Viktor SCHUPPAN, Dragan BOŠNAČKI, Anton WIJS, Ansgar FEHNKER und Husain ALJAZZAR, 2010. Survey on Directed Model Checking. Konstanz: Bibliothek der Universität Konstanz

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