Quantitative refinement and model checking for the analysis of probabilistic systems

[McI06] A. McIver. Quantitative refinement and model checking for the analysis of probabilistic systems. In Proc. Formal Methods (FM'06). To appear. 2006. [bib]

Downloads: $bib$ bib

Links: [Google] [Google Scholar]

Publications

Selected publications
PRISM publications
PRISM bibliography
External publications
References
Search