Cite Them Right 11th edition - Harvard

Edelkamp, S. (2007) Summary of Dagstuhl Seminar 06172 on Directed Model Checking [cd], Dagstuhl seminar proceedings 06172. [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik]. doi:urn:nbn:de:0030-drops-9443.

Chicago Manual of Style 17th edition (full note)

Edelkamp, Stefan. Summary of Dagstuhl Seminar 06172 on Directed Model Checking. Cd. Dagstuhl seminar proceedings 06172. [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik], [2007?], [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik], [2007?]. https://doi.org/urn:nbn:de:0030-drops-9443.

American Psychological Association 7th edition

Edelkamp, S. (ca. 2007). Summary of Dagstuhl Seminar 06172 on Directed Model Checking [Cd]. In Dagstuhl seminar proceedings 06172. [Internat. Begegnungs- und Forschungszentrum für Informatik]. https://doi.org/urn:nbn:de:0030-drops-9443

Modern Language Association 9th edition

Edelkamp, S. „Summary of Dagstuhl Seminar 06172 on Directed Model Checking“. Dagstuhl seminar proceedings 06172, cd, [Internat. Begegnungs- und Forschungszentrum für Informatik], 2007, https://doi.org/urn:nbn:de:0030-drops-9443.

ISO-690 (author-date, Deutsch)

EDELKAMP, Stefan, 2007. Summary of Dagstuhl Seminar 06172 on Directed Model Checking. [Wadern]: [Internat. Begegnungs- und Forschungszentrum für Informatik]

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