DMCA

PRISM 2.0: A tool for probabilistic model checking (2004)

by Marta Kwiatkowska , Gethin Norman , David Parker
Venue:In Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST’04
Citations:75 - 8 self