HAVELUND, Klaus, MAJUMDAR, Rupak und PALSBERG, Jens (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540851141.
Elsevier - Harvard (with titles)Havelund, K., Majumdar, R., 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. https://doi.org/10.1007/978-3-540-85114-1
American Psychological Association 7th editionHavelund, 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
Springer - Basic (author-date)Havelund K, Majumdar R, 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
Juristische Zitierweise (Stüber) (Deutsch)Havelund, Klaus/ Majumdar, Rupak/ Palsberg, Jens (Hrsg.), Model Checking Software : 15 th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, Theoretical Computer Science and General Issues 2008, .