Cite Them Right 11th edition - Harvard

Petrova, A., Winkler, T., Katoen, J.-P. und Noll, T. (2024) Model checking p PDA vs unambiguous automata [cd], Aachen. RWTH Aachen University, 2024. Aachen: Universitätsbibliothek der RWTH Aachen. doi:10.18154/RWTH-2024-06745.

Chicago Manual of Style 17th edition (full note)

Petrova, Anastasiia, Tobias Winkler, Joost-Pieter Katoen, und Thomas Noll. Model checking p PDA vs unambiguous automata. 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-06745.

American Psychological Association 7th edition

Petrova, A., Winkler, T., Katoen, J.-P., & Noll, T. (ca. 2024). Model checking p PDA vs unambiguous automata [Cd]. In Aachen. RWTH Aachen University, 2024. Universitätsbibliothek der RWTH Aachen. https://doi.org/10.18154/RWTH-2024-06745

Modern Language Association 9th edition

Petrova, A., T. Winkler, J.-P. Katoen, und T. Noll. „Model checking p PDA vs unambiguous automata“. Aachen. RWTH Aachen University, 2024, cd, Universitätsbibliothek der RWTH Aachen, 2024, https://doi.org/10.18154/RWTH-2024-06745.

ISO-690 (author-date, Deutsch)

PETROVA, Anastasiia, Tobias WINKLER, Joost-Pieter KATOEN und Thomas NOLL, 2024. Model checking p PDA vs unambiguous automata. Aachen: Universitätsbibliothek der RWTH Aachen

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