@InProceedings{JRC11,
author={Kenneth Johnson and Simon Reed and Radu Calinescu},
title={Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns},
booktitle={Proc. 7th Haifa Verification Conference (HVC'11)},
year={2011},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}