Formal Methods and Stochastic Models for Performance Evaluation: Proc./4th European Performance Engineering Workshop, EPEW 2007. Berlin, Germany, September 2007

А3.54, Б2.2, Б3.54.

Formal Methods and Stochastic Models for Performance Evaluation: Proc./4th European Performance Engineering Workshop, EPEW 2007. Berlin, Germany, September 2007Ed. by Wolter K..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4748.-301 p.-(Lecture Notes in Computer Science).