www.prismmodelchecker.org
[CT93] G. Ciardo and K. Trivedi. A Decomposition Approach for Stochastic Reward Net Models. Performance Evaluation, 18(1), pages 37--59. 1993. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications