"Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June " - читать интересную книгу автора (András Horváth, Miklós Telek)