Cite Them Right 11th edition - Harvard

Göller, S. und Lohrey, M. (2006) Infinite state model checking of propositional dynamic logics [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-25399.

Chicago Manual of Style 17th edition (full note)

Göller, Stefan, und Markus Lohrey. Infinite state model checking of propositional dynamic logics. 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, [2006?], Stuttgart: Universitätsbibliothek der Universität Stuttgart, [2006?]. https://doi.org/urn:nbn:de:bsz:93-opus-25399.

American Psychological Association 7th edition

Göller, S., & Lohrey, M. (ca. 2006). Infinite state model checking of propositional dynamic logics [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-25399

Modern Language Association 9th edition

Göller, S., und M. Lohrey. „Infinite state model checking of propositional dynamic logics“. 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, 2006, https://doi.org/urn:nbn:de:bsz:93-opus-25399.

ISO-690 (author-date, Deutsch)

GÖLLER, Stefan und Markus LOHREY, 2006. Infinite state model checking of propositional dynamic logics. Stuttgart: Universitätsbibliothek der Universität Stuttgart

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