BARTOCCI, Ezio und RAMAKRISHNAN, C. R (Hrsg.). [cd]. 2013. 1 st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642391767.
Elsevier - Harvard (with titles)Bartocci, E., Ramakrishnan, C.R. (Hrsg.), 2013. Model Checking Software : 20 th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-39176-7
American Psychological Association 7th editionBartocci, E., … Ramakrishnan, C. R. (Hrsg.). (ca. 2013). Model Checking Software : 20 th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2013). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39176-7
Springer - Basic (author-date)Bartocci E, Ramakrishnan CR (Hrsg.) (2013) Model Checking Software : 20 th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Bartocci, Ezio/ Ramakrishnan, C. R (Hrsg.), Model Checking Software : 20 th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings, Theoretical Computer Science and General Issues 2013, .