BRINKSMA, E, CLEAVELAND, Walter R., LARSEN, K. G, MARGARIA, T und STEFFEN, B, 1995. Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS ’95 Aarhus, Denmark, May 19–20, 1995 Selected Papers. [cd]. 1995. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1019. ISBN 9783540485094.
Elsevier - Harvard (with titles)Brinksma, E., Cleaveland, W.R., Larsen, K.G., Margaria, T., Steffen, B., 1995. Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS ’95 Aarhus, Denmark, May 19–20, 1995 Selected Papers. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-60630-0
American Psychological Association 7th editionBrinksma, E., Cleaveland, W. R., Larsen, K. G., Margaria, T., & Steffen, B. (ca. 1995). Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS ’95 Aarhus, Denmark, May 19–20, 1995 Selected Papers [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-60630-0
Springer - Basic (author-date)Brinksma E, Cleaveland WR, Larsen KG, Margaria T, Steffen B (1995) Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS ’95 Aarhus, Denmark, May 19–20, 1995 Selected Papers. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Brinksma, E/ Cleaveland, Walter R./ Larsen, K. G/ Margaria, T/ Steffen, B, Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS ’95 Aarhus, Denmark, May 19–20, 1995 Selected Papers, Lecture Notes in Computer Science 1995, .