DWYER, Matthew, 2001. Model Checking Software : 8 th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings. [cd]. 2001. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 2057. ISBN 9783540451396.
Elsevier - Harvard (with titles)Dwyer, M., 2001. Model Checking Software : 8 th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-45139-0
American Psychological Association 7th editionDwyer, M. (ca. 2001). Model Checking Software : 8 th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-45139-0
Springer - Basic (author-date)Dwyer M (2001) Model Checking Software : 8 th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Dwyer, Matthew, Model Checking Software : 8 th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings, Lecture Notes in Computer Science 2001, .