BOSNACKI, Dragan und EDELKAMP, Stefan (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540733706.
Elsevier - Harvard (with titles)Bosnacki, D., Edelkamp, S. (Hrsg.), 2007. Model Checking Software : 14 th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-540-73370-6
American Psychological Association 7th editionBosnacki, D., … Edelkamp, S. (Hrsg.). (ca. 2007). Model Checking Software : 14 th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-73370-6
Springer - Basic (author-date)Bosnacki D, Edelkamp S (Hrsg.) (2007) Model Checking Software : 14 th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Bosnacki, Dragan/ Edelkamp, Stefan (Hrsg.), Model Checking Software : 14 th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, Theoretical Computer Science and General Issues 2007, .