Gábor Horváth, Sándor Rácz, Árpád Tari, Miklós Telek. Evaluation of Reward Analysis Methods with MRMSolve 2.0. In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands. pages 165-174, IEEE Computer Society, 2004. [doi]
Abstract is missing.