Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad. Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services. In 2019 IEEE Symposium on Computers and Communications, ISCC 2019, Barcelona, Spain, June 29 - July 3, 2019. pages 1004-1009, IEEE, 2019. [doi]
Abstract is missing.