Cite Them Right 11th edition - Harvard

Lohrey, M. (2005) Model checking hierarchical structures [cd], Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik). Stuttgart: Universitätsbibliothek der Universität Stuttgart. doi:urn:nbn:de:bsz:93-opus-22419.

Chicago Manual of Style 17th edition (full note)

Lohrey, Markus. Model checking hierarchical structures. Cd. Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik). Stuttgart: Universitätsbibliothek der Universität Stuttgart, [2005?], Stuttgart: Universitätsbibliothek der Universität Stuttgart, [2005?]. https://doi.org/urn:nbn:de:bsz:93-opus-22419.

American Psychological Association 7th edition

Lohrey, M. (ca. 2005). Model checking hierarchical structures [Cd]. In Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik). Universitätsbibliothek der Universität Stuttgart. https://doi.org/urn:nbn:de:bsz:93-opus-22419

Modern Language Association 9th edition

Lohrey, M. „Model checking hierarchical structures“. Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik), cd, Universitätsbibliothek der Universität Stuttgart, 2005, https://doi.org/urn:nbn:de:bsz:93-opus-22419.

ISO-690 (author-date, Deutsch)

LOHREY, Markus, 2005. Model checking hierarchical structures. Stuttgart: Universitätsbibliothek der Universität Stuttgart

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