Formal Methods for Performance Evaluation: Advanced Lectures/7th International Summer School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007. Bertinoro, Italy, May/June 2007

А3.4, Б2.2, Б3.5.

Formal Methods for Performance Evaluation: Advanced Lectures/7th International Summer School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007. Bertinoro, Italy, May/June 2007Ed. by Bernardo M., Hillston J..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4486.-467 p.-(Lecture Notes in Computer Science).