Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (2004)

by M Z Kwiatkowska, G Norman, D Parker
Venue:Int’l J. Software Tools for Technology Transfer