Cite Them Right 11th edition - Harvard

Nopper, T. und Scholl, C. (2004) Symbolic model checking for incomplete designs [cd], Report / Albert-Ludwigs-University, Institute of Computer Science. Freiburg im Breisgau: Univ.

Chicago Manual of Style 17th edition (full note)

Nopper, Tobias, und Christoph Scholl. Symbolic model checking for incomplete designs. Cd. Report / Albert-Ludwigs-University, Institute of Computer Science. Freiburg im Breisgau: Univ., [2004?], Freiburg im Breisgau: Univ., [2004?].

American Psychological Association 7th edition

Nopper, T., & Scholl, C. (ca. 2004). Symbolic model checking for incomplete designs [Cd]. In Report / Albert-Ludwigs-University, Institute of Computer Science. Univ.

Modern Language Association 9th edition

Nopper, T., und C. Scholl. „Symbolic model checking for incomplete designs“. Report / Albert-Ludwigs-University, Institute of Computer Science, cd, Univ., 2004.

ISO-690 (author-date, Deutsch)

NOPPER, Tobias und Christoph SCHOLL, 2004. Symbolic model checking for incomplete designs. Freiburg im Breisgau: Univ

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