@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},
}