Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki. A Formal Approach for Cloud Composite Services Verification. In 11th IEEE Conference on Service-Oriented Computing and Applications, SOCA 2018, Paris, France, November 20-22, 2018. pages 161-168, IEEE Computer Society, 2018. [doi]
Abstract is missing.