zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Bernardo, Marco (ed.) et al., Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 – June 2, 2007. Advanced lectures. Berlin: Springer (ISBN 978-3-540-72482-7/pbk). Lecture Notes in Computer Science 4486, 83-131 (2007).
MSC:  68Q85 68Q87
BibTeX Cite
Full Text: DOI
Brinksma, Ed (ed.) et al., Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000. Revised lectures. Berlin: Springer. Lect. Notes Comput. Sci. 2090, 84-155 (2001).
MSC:  68Q85
BibTeX Cite
Full Text: Link

Filter Results by …

Year of Publication