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