DONALDSON, Alastair und PARKER, David (Hrsg.). [cd]. 2012. 1 st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642317590.
Elsevier - Harvard (with titles)Donaldson, A., Parker, D. (Hrsg.), 2012. Model Checking Software : 19 th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-31759-0
American Psychological Association 7th editionDonaldson, A., … Parker, D. (Hrsg.). (ca. 2012). Model Checking Software : 19 th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2012). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-31759-0
Springer - Basic (author-date)Donaldson A, Parker D (Hrsg.) (2012) Model Checking Software : 19 th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Donaldson, Alastair/ Parker, David (Hrsg.), Model Checking Software : 19 th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings, Theoretical Computer Science and General Issues 2012, .