Formal Methods and Stochastic Models for Performance Evaluation: Proc./Third European Performance Engineering Workshop, EPEW 2005. Budapest, Hungary, June 2006

Б3.54, Б2.15.

Formal Methods and Stochastic Models for Performance Evaluation: Proc./Third European Performance Engineering Workshop, EPEW 2005. Budapest, Hungary, June 2006/Ed. by Horvath A., Telek M..-Berlin, Heidelberg.: Springer, 2006.-Vol. 4054.-239 p.-(Lecture Notes in Computer Science).