Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings

András Horváth Miklós Telek Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings 4054 2006 3-540-35362-3 EPEW Lecture Notes in Computer Science Springer db/conf/epew/epew2006.html