Searching for "Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Quantitative refinement and model checking for the analysis of probabilistic systems
by Ak Mciver — 2006 — In FM 2006, volume 4085 of LNCS
…Quantitative refinement and model checking for the analysis of probabilistic systems AK McIver 1…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB