PRISM: A Tool for Automatic Verification of Probabilistic Systems
Top Cited Papers
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 441-444
- https://doi.org/10.1007/11691372_29
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Mathematical Techniques for Analyzing Concurrent and Probabilistic SystemsPublished by American Mathematical Society (AMS) ,2004