BALL, Thomas und RAJAMANI, Sriram K, 2003. Model Checking Software : 10 th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings. [cd]. 2003. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 2648. ISBN 9783540448297.
Elsevier - Harvard (with titles)Ball, T., Rajamani, S.K., 2003. Model Checking Software : 10 th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-44829-2
American Psychological Association 7th editionBall, T., & Rajamani, S. K. (ca. 2003). Model Checking Software : 10 th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-44829-2
Springer - Basic (author-date)Ball T, Rajamani SK (2003) Model Checking Software : 10 th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Ball, Thomas/ Rajamani, Sriram K, Model Checking Software : 10 th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings, Lecture Notes in Computer Science 2003, .