@InProceedings{BenhalimaCOOPIS16,
author = {Rania Ben Halima and Slim Kallel and Kais Klai and Walid Gaaloul and and Mohamed Jmaiel.},
title = {{Formal Verification of Time-Aware Cloud Resource Allocation in Business Process}},
booktitle = {Proceedings of On the Move to Meaningful Internet Systems: {OTM} Conferences - Confederated International Conferences: CoopIS, ODBASE, and C{\&}TC},
pages = {},
year = {2016},
volume = {},
series = {},
publisher = {Springer},
address = {Grecee},
doi = {}
}