VALMARI, Antti (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540331032.
Elsevier - Harvard (with titles)Valmari, A. (Hrsg.), 2006. Model Checking Software : 13 th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/11691617
American Psychological Association 7th editionValmari, A. (Hrsg.). (ca. 2006). Model Checking Software : 13 th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11691617
Springer - Basic (author-date)Valmari A (Hrsg.) (2006) Model Checking Software : 13 th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Valmari, Antti (Hrsg.), Model Checking Software : 13 th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, Theoretical Computer Science and General Issues 2006, .