by Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem
Reference:
Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud, In Information Systems - 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings (Marinos Themistocleous, Paulo Rupino da Cunha, eds.), Springer, volume 341, 2018.
Bibtex Entry:
@inproceedings{FakhfakhKK18,
author = {Fairouz Fakhfakh and
Hatem Hadj Kacem and
Ahmed Hadj Kacem},
editor = {Marinos Themistocleous and
Paulo Rupino da Cunha},
title = {Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud},
booktitle = {Information Systems - 15th European, Mediterranean, and Middle Eastern
Conference, {EMCIS} 2018, Limassol, Cyprus, October 4-5, 2018, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {341},
pages = {144--157},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11395-7\_14},
doi = {10.1007/978-3-030-11395-7\_14},
}