Cite Them Right 11th edition - Harvard

Berger, P., Katoen, J.-P. und Beyer, D. (2024) Applying software model checking: experiences and advancements [cd], Aachen. RWTH Aachen University, 2024. Universitätsbibliothek der RWTH Aachen. doi:10.18154/RWTH-2024-10081.

Chicago Manual of Style 17th edition (full note)

Berger, Philipp, Joost-Pieter Katoen, und Dirk Beyer. „Applying software model checking: experiences and advancements“. Cd. Aachen. RWTH Aachen University, 2024. Universitätsbibliothek der RWTH Aachen, [2024?], Universitätsbibliothek der RWTH Aachen, [2024?]. https://doi.org/10.18154/RWTH-2024-10081.

American Psychological Association 7th edition

Berger, P., Katoen, J.-P., & Beyer, D. (ca. 2024). Applying software model checking: experiences and advancements [Universitätsbibliothek der RWTH Aachen; Cd]. In Aachen. RWTH Aachen University, 2024. https://doi.org/10.18154/RWTH-2024-10081

Modern Language Association 9th edition

Berger, P., J.-P. Katoen, und D. Beyer. „Applying software model checking: experiences and advancements“. Aachen. RWTH Aachen University, 2024, cd, Universitätsbibliothek der RWTH Aachen, 2024, https://doi.org/10.18154/RWTH-2024-10081.

ISO-690 (author-date, Deutsch)

BERGER, Philipp, Joost-Pieter KATOEN und Dirk BEYER, 2024. Applying software model checking: experiences and advancements. Aachen: Universitätsbibliothek der RWTH Aachen

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