MARGARIA, Tiziana und STEFFEN, Bernhard, 1996. Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings. [cd]. 1996. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1055. ISBN 9783540498742.
Elsevier - Harvard (with titles)Margaria, T., Steffen, B., 1996. Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-61042-1
American Psychological Association 7th editionMargaria, T., & Steffen, B. (ca. 1996). Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-61042-1
Springer - Basic (author-date)Margaria T, Steffen B (1996) Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Margaria, Tiziana/ Steffen, Bernhard, Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings, Lecture Notes in Computer Science 1996, .