Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul. Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. In 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28 - July 3, 2013. pages 251-259, IEEE, 2013. [doi]
Abstract is missing.