Cite Them Right 11th edition - Harvard

Kierner, K., Gehnen, C., Katoen, J.-P. und Unruh, D. (2025) Modeling non-deterministic quantum programs for model checking [cd], Aachen. RWTH Aachen University, 2025. Universitätsbibliothek der RWTH Aachen. doi:10.18154/RWTH-2025-09031.

Chicago Manual of Style 17th edition (full note)

Kierner, Kaleb, Christina Gehnen, Joost-Pieter Katoen, und Dominique Unruh. „Modeling non-deterministic quantum programs for model checking“. Cd. Aachen. RWTH Aachen University, 2025. Universitätsbibliothek der RWTH Aachen, [2025?], Universitätsbibliothek der RWTH Aachen, [2025?]. https://doi.org/10.18154/RWTH-2025-09031.

American Psychological Association 7th edition

Kierner, K., Gehnen, C., Katoen, J.-P., & Unruh, D. (ca. 2025). Modeling non-deterministic quantum programs for model checking [Universitätsbibliothek der RWTH Aachen; Cd]. In Aachen. RWTH Aachen University, 2025. https://doi.org/10.18154/RWTH-2025-09031

Modern Language Association 9th edition

Kierner, K., C. Gehnen, J.-P. Katoen, und D. Unruh. „Modeling non-deterministic quantum programs for model checking“. Aachen. RWTH Aachen University, 2025, cd, Universitätsbibliothek der RWTH Aachen, 2025, https://doi.org/10.18154/RWTH-2025-09031.

ISO-690 (author-date, Deutsch)

KIERNER, Kaleb, Christina GEHNEN, Joost-Pieter KATOEN und Dominique UNRUH, 2025. Modeling non-deterministic quantum programs for model checking. Aachen: Universitätsbibliothek der RWTH Aachen

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