APA (7th ed.) Citation

(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

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 ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2001.

MLA (9th ed.) Citation

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.