Ana Vazquez, Mohamed El-Menshawy, Jamal Bentahar. Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. In 3rd International Conference on Future Internet of Things and Cloud, FiCloud 2015, Rome, Italy, August 24-26, 2015. pages 173-180, IEEE, 2015. [doi]
Abstract is missing.