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. 3.- 7. July 2000. Springer Verlag.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Brinksma, Ed, 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. 3.- 7. July 2000. Berlin: Springer Verlag, 2001.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Brinksma, Ed, et al. Lectures on Formal Methods and Performance Analysis: First EEF/euro Summer School on Trends in Computer Science. Berg En Dal, The Netherlands. 3.- 7. July 2000. Springer Verlag, 2001.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.