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

by M Kwiatkowska, G Norman, D Parker
Venue:In International Journal on Software Tools for Technology Transfer (STTT