@inproceedings{JDL02,
author={B. Jeannet and P. D{'A}rgenio and K. Larsen},
title={Rapture: {A} tool for verifying {M}arkov Decision Processes},
booktitle={Proc. Tools Day, affiliated to 13th Int. Conf. Concurrency Theory (CONCUR'02)},
year={2002},

editor={I. Cerna},
pages={84--98},
organization={},
publisher={},
series={Technical Report FIMU-RS-2002-05, Faculty of Informatics, Masaryk University},
volume={},
month={},
note={},
key={}
}