Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul. Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. In Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman, editors, On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I. Volume 11229 of Lecture Notes in Computer Science, pages 552-567, Springer, 2018. [doi]
Abstract is missing.