GODEFROID, Patrick (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540318996.
Elsevier - Harvard (with titles)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. 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
Springer - Basic (author-date)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
Juristische Zitierweise (Stüber) (Deutsch)Godefroid, Patrick (Hrsg.), Model Checking Software : 12 th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings, Theoretical Computer Science and General Issues 2005, .