BRINKSMA, Ed, HERMANNS, Holger und KATOEN, Joost-Pieter, 2001. Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures. [cd]. 2001. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 2090. ISBN 9783540446675.
Elsevier - Harvard (with titles)Brinksma, E., Hermanns, H., Katoen, J.-P., 2001. Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-44667-2
American Psychological Association 7th editionBrinksma, E., Hermanns, H., & Katoen, J.-P. (ca. 2001). Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-44667-2
Springer - Basic (author-date)Brinksma E, Hermanns H, Katoen J-P (2001) Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Brinksma, Ed/ Hermanns, Holger/ Katoen, Joost-Pieter, Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures, Lecture Notes in Computer Science 2001, .