PASAREANU, Corina S (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642026522.
Elsevier - Harvard (with titles)Pasareanu, C.S. (Hrsg.), 2009. Model Checking Software : 16 th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-02652-2
American Psychological Association 7th editionPasareanu, C. S. (Hrsg.). (ca. 2009). Model Checking Software : 16 th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-02652-2
Springer - Basic (author-date)Pasareanu CS (Hrsg.) (2009) Model Checking Software : 16 th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Pasareanu, Corina S (Hrsg.), Model Checking Software : 16 th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings, Theoretical Computer Science and General Issues 2009, .