Cite Them Right 11th edition - Harvard

Winkler, T., Gehnen, C. und Katoen, J.-P. (2022) Model Checking Temporal Properties of Recursive Probabilistic Programs [cd]. Aachen: Universitätsbibliothek der RWTH Aachen. doi:10.18154/RWTH-2022-03253.

Chicago Manual of Style 17th edition (full note)

Winkler, Tobias, Christina Gehnen, und Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs. Cd. Aachen: Universitätsbibliothek der RWTH Aachen, [2022?], Aachen: Universitätsbibliothek der RWTH Aachen, [2022?]. https://doi.org/10.18154/RWTH-2022-03253.

American Psychological Association 7th edition

Winkler, T., Gehnen, C., & Katoen, J.-P. (ca. 2022). Model Checking Temporal Properties of Recursive Probabilistic Programs [Cd]. Universitätsbibliothek der RWTH Aachen. https://doi.org/10.18154/RWTH-2022-03253

Modern Language Association 9th edition

Winkler, T., C. Gehnen, und J.-P. Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs. cd, Universitätsbibliothek der RWTH Aachen, 2022, https://doi.org/10.18154/RWTH-2022-03253.

ISO-690 (author-date, Deutsch)

WINKLER, Tobias, Christina GEHNEN und Joost-Pieter KATOEN, 2022. Model Checking Temporal Properties of Recursive Probabilistic Programs. Aachen: Universitätsbibliothek der RWTH Aachen

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