FISCHER, Bernd und GELDENHUYS, Jaco (Hrsg.). [cd]. 2015. 1 st ed. 2015. Cham: Springer International Publishing. ISBN 9783319234045.
Elsevier - Harvard (with titles)Fischer, B., Geldenhuys, J. (Hrsg.), 2015. Model Checking Software : 22 nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-319-23404-5
American Psychological Association 7th editionFischer, B., … Geldenhuys, J. (Hrsg.). (ca. 2015). Model Checking Software : 22 nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2015). Springer International Publishing. https://doi.org/10.1007/978-3-319-23404-5
Springer - Basic (author-date)Fischer B, Geldenhuys J (Hrsg.) (2015) Model Checking Software : 22 nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Fischer, Bernd/ Geldenhuys, Jaco (Hrsg.), Model Checking Software : 22 nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, Theoretical Computer Science and General Issues 2015, .