![](/img/cover-not-exists.png)
A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems
Jennings, Paul, Ghosh, Arka P., Basu, SamikVolume:
21
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/2211616.2211621
Date:
June, 2012
File:
PDF, 1.05 MB
english, 2012