BOŠNAČKI, Dragan und WIJS, Anton (Hrsg.). [cd]. 2016. 1 st ed. 2016. Cham: Springer International Publishing. ISBN 9783319325828.
Elsevier - Harvard (with titles)Bošnački, D., Wijs, A. (Hrsg.), 2016. Model Checking Software : 23 rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-319-32582-8
American Psychological Association 7th editionBošnački, D., … Wijs, A. (Hrsg.). (ca. 2016). Model Checking Software : 23 rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2016). Springer International Publishing. https://doi.org/10.1007/978-3-319-32582-8
Springer - Basic (author-date)Bošnački D, Wijs A (Hrsg.) (2016) Model Checking Software : 23 rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Bošnački, Dragan/ Wijs, Anton (Hrsg.), Model Checking Software : 23 rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, Theoretical Computer Science and General Issues 2016, .