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
Citação norma Chicago
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
Citação norma MLA
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
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.