Cite Them Right 11th edition - Harvard

Lange, T.F., Katoen, J.-P., Weissenbacher, G. und Neuhäußer, M.R. (2018) IC3 software model checking [cd]. Universitätsbibliothek der RWTH Aachen. doi:10.18154/RWTH-2019-01994.

Chicago Manual of Style 17th edition (full note)

Lange, Tim Felix, Joost-Pieter Katoen, Georg Weissenbacher, und Martin R. Neuhäußer. „IC3 software model checking“. Cd. Universitätsbibliothek der RWTH Aachen, [2018?], Universitätsbibliothek der RWTH Aachen, [2018?]. https://doi.org/10.18154/RWTH-2019-01994.

American Psychological Association 7th edition

Lange, T. F., Katoen, J.-P., Weissenbacher, G., & Neuhäußer, M. R. (ca. 2018). IC3 software model checking [Universitätsbibliothek der RWTH Aachen; Cd]. https://doi.org/10.18154/RWTH-2019-01994

Modern Language Association 9th edition

Lange, T. F., J.-P. Katoen, G. Weissenbacher, und M. R. Neuhäußer. IC3 software model checking. cd, Universitätsbibliothek der RWTH Aachen, 2018, https://doi.org/10.18154/RWTH-2019-01994.

ISO-690 (author-date, Deutsch)

LANGE, Tim Felix, Joost-Pieter KATOEN, Georg WEISSENBACHER und Martin R. NEUHÄUSSER, 2018. IC3 software model checking. Aachen: Universitätsbibliothek der RWTH Aachen

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