Sciweavers

ENTCS
2006

Quantitative Analysis With the Probabilistic Model Checker PRISM

13 years 11 months ago
Quantitative Analysis With the Probabilistic Model Checker PRISM
Marta Z. Kwiatkowska, Gethin Norman, David Parker
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Marta Z. Kwiatkowska, Gethin Norman, David Parker
Comments (0)