Cite Them Right 11th edition - Harvard

Havelund, K., Majumdar, R. und Palsberg, J. (Hrsg.) (2008) „Model Checking Software : 15 th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-85114-1.

Chicago Manual of Style 17th edition (full note)

Havelund, Klaus, Rupak Majumdar, und Jens Palsberg, Hrsg. „Model Checking Software : 15 th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-85114-1.

American Psychological Association 7th edition

Havelund, K., Majumdar, R., … Palsberg, J. (Hrsg.). (ca. 2008). Model Checking Software : 15 th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-85114-1

Modern Language Association 9th edition

Havelund, K., R. Majumdar, und J. Palsberg, Herausgeber. „Model Checking Software : 15 th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-85114-1.

ISO-690 (author-date, Deutsch)

HAVELUND, Klaus, Rupak MAJUMDAR und Jens PALSBERG (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540851141

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