Cite Them Right 11th edition - Harvard

Brunner, J.M., Nipkow, T. und Esparza Estaun, F.J. (2022) Formal Verification of Algorithms for Automata and Model Checking [cd]. Universitätsbibliothek der TU München. doi:urn:nbn:de:bvb:91-diss-20221219-1622049-1-5.

Chicago Manual of Style 17th edition (full note)

Brunner, Julian M., Tobias Nipkow, und Francisco Javier Esparza Estaun. „Formal Verification of Algorithms for Automata and Model Checking“. Cd. Universitätsbibliothek der TU München, [2022?], Universitätsbibliothek der TU München, [2022?]. https://doi.org/urn:nbn:de:bvb:91-diss-20221219-1622049-1-5.

American Psychological Association 7th edition

Brunner, J. M., Nipkow, T., & Esparza Estaun, F. J. (ca. 2022). Formal Verification of Algorithms for Automata and Model Checking [Universitätsbibliothek der TU München; Cd]. https://doi.org/urn:nbn:de:bvb:91-diss-20221219-1622049-1-5

Modern Language Association 9th edition

Brunner, J. M., T. Nipkow, und F. J. Esparza Estaun. Formal Verification of Algorithms for Automata and Model Checking. cd, Universitätsbibliothek der TU München, 2022, https://doi.org/urn:nbn:de:bvb:91-diss-20221219-1622049-1-5.

ISO-690 (author-date, Deutsch)

BRUNNER, Julian M., Tobias NIPKOW und Francisco Javier ESPARZA ESTAUN, 2022. Formal Verification of Algorithms for Automata and Model Checking. München: Universitätsbibliothek der TU München

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