BRINKSMA, Ed, 1997. Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS’97 Enschede, The Netherlands, April 2–4, 1997 Proceedings. [cd]. 1997. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1217. ISBN 9783540685197.
Elsevier - Harvard (with titles)Brinksma, E., 1997. Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS’97 Enschede, The Netherlands, April 2–4, 1997 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/BFb0035375
American Psychological Association 7th editionBrinksma, E. (ca. 1997). Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS’97 Enschede, The Netherlands, April 2–4, 1997 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/BFb0035375
Springer - Basic (author-date)Brinksma E (1997) Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS’97 Enschede, The Netherlands, April 2–4, 1997 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Brinksma, Ed, Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS’97 Enschede, The Netherlands, April 2–4, 1997 Proceedings, Lecture Notes in Computer Science 1997, .