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

Editors:

ISBN: 978-3-540-72482-7 (Print) 978-3-540-72522-0 (Online)