|
[JRC11]
Kenneth Johnson, Simon Reed and Radu Calinescu.
Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns.
In Proc. 7th Haifa Verification Conference (HVC'11).
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|