Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel. Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. In Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam S. Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna, editors, On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Volume 10033 of Lecture Notes in Computer Science, pages 400-417, 2016. [doi]
Abstract is missing.