APA (7th ed.) Citation

EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands, Brinksma, E., Hermanns, H., & Katoen, J. (2001). Lectures on formal methods and performance analysis: First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures. Springer.

Chicago Style (17th ed.) Citation

EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands, Ed Brinksma, Holger Hermanns, and Joost-Pieter Katoen. Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000 : Revised Lectures. Berlin ; New York: Springer, 2001.

MLA (9th ed.) Citation

EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands, et al. Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000 : Revised Lectures. Springer, 2001.