|
[JGB11]
Paul Jennings, Arka Ghosh and Samik Basu.
A Two-phase Approximation for Model Checking Unbounded Until Properties of Probabilistic Systems.
ACM Transactions on Software Engineering and Methodology.
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|