Advances and Challenges of Probabilistic Model Checking (2010)

First Author: Kwiatkowska M
Attributed to:  Automated quantitative software verification with PRISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proc. 48th Annual Allerton Conference on Communication, Control and Computing