[JDL02]
B. Jeannet, P. D'Argenio and K. Larsen.
Rapture: A tool for verifying Markov Decision Processes.
In I. Cerna (editor), Proc. Tools Day, affiliated to 13th Int. Conf. Concurrency Theory (CONCUR'02), pages 84-98.
2002.
[bib]
|
Links:
[Google]
[Google Scholar]
|