GROCE, Alex und MUSUVATHI, Madanlal (Hrsg.). [cd]. 2011. 1 st ed. 2011. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642223068.
Elsevier - Harvard (with titles)Groce, A., Musuvathi, M. (Hrsg.), 2011. Model Checking Software : 18 th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-22306-8
American Psychological Association 7th editionGroce, A., … Musuvathi, M. (Hrsg.). (ca. 2011). Model Checking Software : 18 th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2011). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-22306-8
Springer - Basic (author-date)Groce A, Musuvathi M (Hrsg.) (2011) Model Checking Software : 18 th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Groce, Alex/ Musuvathi, Madanlal (Hrsg.), Model Checking Software : 18 th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings, Theoretical Computer Science and General Issues 2011, .