Kenneth Johnson, Simon Reed, Radu Calinescu. Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. In Kerstin Eder, João Lourenço, Onn Shehory, editors, Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Volume 7261 of Lecture Notes in Computer Science, pages 145-159, Springer, 2011. [doi]
@inproceedings{JohnsonRC11, title = {Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns}, author = {Kenneth Johnson and Simon Reed and Radu Calinescu}, year = {2011}, doi = {10.1007/978-3-642-34188-5_14}, url = {http://dx.doi.org/10.1007/978-3-642-34188-5_14}, researchr = {https://researchr.org/publication/JohnsonRC11}, cites = {0}, citedby = {0}, pages = {145-159}, booktitle = {Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers}, editor = {Kerstin Eder and João Lourenço and Onn Shehory}, volume = {7261}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-34187-8}, }