Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli. Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. In 2014 IEEE International Conference on Web Services, ICWS, 2014, Anchorage, AK, USA, June 27 - July 2, 2014. pages 49-56, IEEE, 2014. [doi]
Abstract is missing.