Cite Them Right 11th edition - Harvard

Friedberger, K. und Beyer, D. (2021) Efficient software model checking with block-abstraction memoization [cd]. Universitätsbibliothek der Ludwig-Maximilians-Universität. doi:10.5282/edoc.29976.

Chicago Manual of Style 17th edition (full note)

Friedberger, Karlheinz, und Dirk Beyer. „Efficient software model checking with block-abstraction memoization“. Cd. Universitätsbibliothek der Ludwig-Maximilians-Universität, [2021?], Universitätsbibliothek der Ludwig-Maximilians-Universität, [2021?]. https://doi.org/10.5282/edoc.29976.

American Psychological Association 7th edition

Friedberger, K., & Beyer, D. (ca. 2021). Efficient software model checking with block-abstraction memoization [Universitätsbibliothek der Ludwig-Maximilians-Universität; Cd]. https://doi.org/10.5282/edoc.29976

Modern Language Association 9th edition

Friedberger, K., und D. Beyer. Efficient software model checking with block-abstraction memoization. cd, Universitätsbibliothek der Ludwig-Maximilians-Universität, 2021, https://doi.org/10.5282/edoc.29976.

ISO-690 (author-date, Deutsch)

FRIEDBERGER, Karlheinz und Dirk BEYER, 2021. Efficient software model checking with block-abstraction memoization. München: Universitätsbibliothek der Ludwig-Maximilians-Universität

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