Cite Them Right 11th edition - Harvard

Beer, A., Heidinger, S., Kühne, U., Leitner-Fischer, F. und Leue, S. (2015) Symbolic Causality Checking Using Bounded Model Checking [cd]. Konstanz: Bibliothek der Universität Konstanz. doi:urn:nbn:de:bsz:352-0-294967.

Chicago Manual of Style 17th edition (full note)

Beer, Adrian, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, und Stefan Leue. Symbolic Causality Checking Using Bounded Model Checking. Cd. Konstanz: Bibliothek der Universität Konstanz, [2015?], Konstanz: Bibliothek der Universität Konstanz, [2015?]. https://doi.org/urn:nbn:de:bsz:352-0-294967.

American Psychological Association 7th edition

Beer, A., Heidinger, S., Kühne, U., Leitner-Fischer, F., & Leue, S. (ca. 2015). Symbolic Causality Checking Using Bounded Model Checking [Cd]. Bibliothek der Universität Konstanz. https://doi.org/urn:nbn:de:bsz:352-0-294967

Modern Language Association 9th edition

Beer, A., S. Heidinger, U. Kühne, F. Leitner-Fischer, und S. Leue. Symbolic Causality Checking Using Bounded Model Checking. cd, Bibliothek der Universität Konstanz, 2015, https://doi.org/urn:nbn:de:bsz:352-0-294967.

ISO-690 (author-date, Deutsch)

BEER, Adrian, Stephan HEIDINGER, Uwe KÜHNE, Florian LEITNER-FISCHER und Stefan LEUE, 2015. Symbolic Causality Checking Using Bounded Model Checking. Konstanz: Bibliothek der Universität Konstanz

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