BOŠNAČKI, Dragan und LEUE, Stefan, 2002. Model Checking Software : 9 th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings. [cd]. 2002. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 2318. ISBN 9783540460176.
Elsevier - Harvard (with titles)Bošnački, D., Leue, S., 2002. Model Checking Software : 9 th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-46017-9
American Psychological Association 7th editionBošnački, D., & Leue, S. (ca. 2002). Model Checking Software : 9 th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-46017-9
Springer - Basic (author-date)Bošnački D, Leue S (2002) Model Checking Software : 9 th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Bošnački, Dragan/ Leue, Stefan, Model Checking Software : 9 th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings, Lecture Notes in Computer Science 2002, .