Cite Them Right 11th edition - Harvard

Schwoon, S. (2002) Model checking pushdown systems [cd]. doi:urn:nbn:de:bvb:91-diss2002120317052.

Chicago Manual of Style 17th edition (full note)

Schwoon, Stefan. „Model checking pushdown systems“. Cd. https://doi.org/urn:nbn:de:bvb:91-diss2002120317052.

American Psychological Association 7th edition

Schwoon, S. (ca. 2002). Model checking pushdown systems [Cd]. https://doi.org/urn:nbn:de:bvb:91-diss2002120317052

Modern Language Association 9th edition

Schwoon, S. Model checking pushdown systems. cd, 2002, https://doi.org/urn:nbn:de:bvb:91-diss2002120317052.

ISO-690 (author-date, Deutsch)

SCHWOON, Stefan, 2002. Model checking pushdown systems

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