%0 Journal Article %A Saoussen Cheikhrouhou %A Slim Kallel %A Ikbel Guidara %A Zakaria Maamar %T Business Process Specification, Verification, and Deployment in a Mono-Cloud, Multi-Edge Context %J Computer Science and Information Systems %D 2020 %V 17 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a15/ %F CSIS_2020_17_1_a15