Cite Them Right 11th edition - Harvard

Barth, N., Winkler, T., Katoen, J.-P. und Noll, T. (2024) Compositional control-flow reduction for probabilistic model checking [cd], Aachen. RWTH Aachen University, 2024. Aachen: Universitätsbibliothek der RWTH Aachen. doi:10.18154/RWTH-2024-02596.

Chicago Manual of Style 17th edition (full note)

Barth, Naomi, Tobias Winkler, Joost-Pieter Katoen, und Thomas Noll. Compositional control-flow reduction for probabilistic model checking. Cd. Aachen. RWTH Aachen University, 2024. Aachen: Universitätsbibliothek der RWTH Aachen, [2024?], Aachen: Universitätsbibliothek der RWTH Aachen, [2024?]. https://doi.org/10.18154/RWTH-2024-02596.

American Psychological Association 7th edition

Barth, N., Winkler, T., Katoen, J.-P., & Noll, T. (ca. 2024). Compositional control-flow reduction for probabilistic model checking [Cd]. In Aachen. RWTH Aachen University, 2024. Universitätsbibliothek der RWTH Aachen. https://doi.org/10.18154/RWTH-2024-02596

Modern Language Association 9th edition

Barth, N., T. Winkler, J.-P. Katoen, und T. Noll. „Compositional control-flow reduction for probabilistic model checking“. Aachen. RWTH Aachen University, 2024, cd, Universitätsbibliothek der RWTH Aachen, 2024, https://doi.org/10.18154/RWTH-2024-02596.

ISO-690 (author-date, Deutsch)

BARTH, Naomi, Tobias WINKLER, Joost-Pieter KATOEN und Thomas NOLL, 2024. Compositional control-flow reduction for probabilistic model checking. Aachen: Universitätsbibliothek der RWTH Aachen

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