Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
M. Kwiatkowska, G. Norman and D. Parker infojournal | International Journal on Software Tools for Technology Transfer (STTT) |
number | 2 |
pages | 128—142 |
volume | 6 |
year | 2004 |
links
BibTeX
Link (pdf)
related pages
|