Francesco Moscato. Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services. In Ninth International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2015, Santa Catarina, Brazil, July 8-10, 2015. pages 192-199, IEEE, 2015. [doi]
Abstract is missing.