Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
M. Kwiatkowska‚ G. Norman and D. Parker
Journal
International Journal on Software Tools for Technology Transfer (STTT)
Number
2
Pages
128–142
Volume
6
Year
2004
M. Kwiatkowska‚ G. Norman and D. Parker