@article{CheikhrouhouKGM20,
  author    = {Saoussen Cheikhrouhou and
               Slim Kallel and
               Ikbel Guidara and
               Zakaria Maamar},
  title     = {Business process specification, verification, and deployment in a
               mono-cloud, multi-edge context},
  journal   = {Comput. Sci. Inf. Syst.},
  volume    = {17},
  number    = {1},
  pages     = {293--313},
  year      = {2020},
  doi       = {10.2298/CSIS190430041C}
}