|
[Ndu09]
U. Ndukwu.
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems.
In Proc. Workshop on Quantitative Formal Methods (QFM'09).
2009.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|