Cite Them Right 11th edition - Harvard

Merz, F. und Sinz, C. (2016) Theory and Implementation of Software Bounded Model Checking [cd]. KIT-Bibliothek. doi:urn:nbn:de:swb:90-638350.

Chicago Manual of Style 17th edition (full note)

Merz, Florian, und C. Sinz. „Theory and Implementation of Software Bounded Model Checking“. Cd. KIT-Bibliothek, [2016?], KIT-Bibliothek, [2016?]. https://doi.org/urn:nbn:de:swb:90-638350.

American Psychological Association 7th edition

Merz, F., & Sinz, C. (ca. 2016). Theory and Implementation of Software Bounded Model Checking [KIT-Bibliothek; Cd]. https://doi.org/urn:nbn:de:swb:90-638350

Modern Language Association 9th edition

Merz, F., und C. Sinz. Theory and Implementation of Software Bounded Model Checking. cd, KIT-Bibliothek, 2016, https://doi.org/urn:nbn:de:swb:90-638350.

ISO-690 (author-date, Deutsch)

MERZ, Florian und C. SINZ, 2016. Theory and Implementation of Software Bounded Model Checking. Karlsruhe: KIT-Bibliothek

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