Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem. Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud. In Marinos Themistocleous, Paulo Rupino da Cunha, editors, Information Systems - 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings. Volume 341 of Lecture Notes in Business Information Processing, pages 144-157, Springer, 2018. [doi]
Abstract is missing.