Juha Leino, Jorma T. Virtamo. An approximative method for calculating performance measures of Markov processes. In Luciano Lenzini, Rene L. Cruz, editors, Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006. Volume 180 of ACM International Conference Proceeding Series, pages 67, ACM, 2006. [doi]
Abstract is missing.