Manuela L. Bujorianu, Marius C. Bujorianu. Model Checking for a Class of Performance Properties of Fluid Stochastic Models. In András Horváth, Miklós Telek, editors, Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings. Volume 4054 of Lecture Notes in Computer Science, pages 93-107, Springer, 2006. [doi]
Abstract is missing.