![](/img/cover-not-exists.png)
Numerical vs. statistical probabilistic model checking
Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, David ParkerVolume:
8
Language:
english
Pages:
13
DOI:
10.1007/s10009-005-0187-8
Date:
June, 2006
File:
PDF, 453 KB
english, 2006