1
Formal Methods and Stochastic Models for Performance Evaluation [E-Book] / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings