@inproceedings{maraoui:hal-02507291, TITLE = {{A mediation based approach for formal verification of web services composition}}, AUTHOR = {Maraoui, Raoudha and Cariou, Eric}, URL = {https://univ-pau.hal.science/hal-02507291}, BOOKTITLE = {{2017 International Conference on Engineering \& MIS (ICEMIS)}}, ADDRESS = {Monastir, France}, PUBLISHER = {{IEEE}}, PAGES = {1-6}, YEAR = {2017}, MONTH = May, DOI = {10.1109/ICEMIS.2017.8272975}, HAL_ID = {hal-02507291}, HAL_VERSION = {v1}, }