%0 Conference Paper %F Oral %T A mediation based approach for formal verification of web services composition %+ Multimedia, InfoRmation systems and Advanced Computing Laboratory (MIRACL) %+ Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA) %A Maraoui, Raoudha %A Cariou, Eric %< avec comité de lecture %B 2017 International Conference on Engineering & MIS (ICEMIS) %C Monastir, France %I IEEE %P 1-6 %8 2017-05-08 %D 2017 %R 10.1109/ICEMIS.2017.8272975 %Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers %G English %L hal-02507291 %U https://univ-pau.hal.science/hal-02507291 %~ UNIV-PAU %~ LIUPPA