Cite Them Right 11th edition - Harvard

Frohn, F. und Giesl, J. (2024) Integrating Loop Acceleration Into Bounded Model Checking [cd]. Aachen: Universitätsbibliothek der RWTH Aachen. doi:10.18154/RWTH-2024-09700.

Chicago Manual of Style 17th edition (full note)

Frohn, Florian, und Jürgen Giesl. Integrating Loop Acceleration Into Bounded Model Checking. Cd. Aachen: Universitätsbibliothek der RWTH Aachen, [2024?], Aachen: Universitätsbibliothek der RWTH Aachen, [2024?]. https://doi.org/10.18154/RWTH-2024-09700.

American Psychological Association 7th edition

Frohn, F., & Giesl, J. (ca. 2024). Integrating Loop Acceleration Into Bounded Model Checking [Cd]. Universitätsbibliothek der RWTH Aachen. https://doi.org/10.18154/RWTH-2024-09700

Modern Language Association 9th edition

Frohn, F., und J. Giesl. Integrating Loop Acceleration Into Bounded Model Checking. cd, Universitätsbibliothek der RWTH Aachen, 2024, https://doi.org/10.18154/RWTH-2024-09700.

ISO-690 (author-date, Deutsch)

FROHN, Florian und Jürgen GIESL, 2024. Integrating Loop Acceleration Into Bounded Model Checking. Aachen: Universitätsbibliothek der RWTH Aachen

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