|
[BGH09]
A. Basu, A. Ghosh and R. He.
Approximate Probabilistic Model Checking Using Bounded Until Properties.
In Proc. 11th International Conference on Formal Engineering Methods (ICFEM'09),.
2009.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|