GRAF, Susanne und MOUNIER, Laurent, 2004. Model Checking Software : 11 th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings. [cd]. 2004. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 2989. ISBN 9783540247326.
Elsevier - Harvard (with titles)Graf, S., Mounier, L., 2004. Model Checking Software : 11 th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/b96721
American Psychological Association 7th editionGraf, S., & Mounier, L. (ca. 2004). Model Checking Software : 11 th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/b96721
Springer - Basic (author-date)Graf S, Mounier L (2004) Model Checking Software : 11 th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Graf, Susanne/ Mounier, Laurent, Model Checking Software : 11 th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings, Lecture Notes in Computer Science 2004, .