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 |