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]
@inproceedings{HorvathRTT04,
title = {Evaluation of Reward Analysis Methods with MRMSolve 2.0},
author = {Gábor Horváth and Sándor Rácz and Árpád Tari and Miklós Telek},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/qest/2004/2185/00/21850165abs.htm},
tags = {analysis},
researchr = {https://researchr.org/publication/HorvathRTT04},
cites = {0},
citedby = {0},
pages = {165-174},
booktitle = {1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands},
publisher = {IEEE Computer Society},
isbn = {0-7695-2185-1},
}