www.comlab.ox.ac.uk/publications/publication1467-abstract.html

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

Links

BibTeX

LinkĀ (pdf)

Related pages