Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. In Leonard Barolli, Makoto Takizawa 0001, Tomoya Enokido, Marek R. Ogiela, Lidia Ogiela, Nadeem Javaid, editors, 32nd IEEE International Conference on Advanced Information Networking and Applications, AINA 2018, Krakow, Poland, May 16-18, 2018. pages 952-959, IEEE Computer Society, 2018. [doi]
Abstract is missing.