Sándor Rácz, Árpád Tari, Miklós Telek. MRMSolve: Distribution Estimation of Large Markov Reward Models. In Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder, editors, Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings. Volume 2324 of Lecture Notes in Computer Science, pages 71-81, Springer, 2002. [doi]
Abstract is missing.