Godefroid, P. (Hrsg.) (2005) „Model Checking Software : 12 th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11537328.
Chicago Manual of Style 17th edition (full note)Godefroid, Patrick, Hrsg. „Model Checking Software : 12 th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?]. https://doi.org/10.1007/11537328.
American Psychological Association 7th editionGodefroid, P. (Hrsg.). (ca. 2005). Model Checking Software : 12 th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2005). Springer Berlin Heidelberg. https://doi.org/10.1007/11537328
Modern Language Association 9th editionGodefroid, P., Herausgeber. „Model Checking Software : 12 th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2005, cd, Springer Berlin Heidelberg, 2005, https://doi.org/10.1007/11537328.
ISO-690 (author-date, Deutsch)GODEFROID, Patrick (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540318996