Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes.

Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel

Browse the full AINA paper archive.