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]
@inproceedings{GraietAHBKG13,
title = {Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior},
author = {Mohamed Graiet and Imed Abbassi and Lazhar Hamel and Mohamed Tahar Bhiri and Mourad Kmimech and Walid Gaaloul},
year = {2013},
doi = {10.1109/ICWS.2013.42},
url = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2013.42},
researchr = {https://researchr.org/publication/GraietAHBKG13},
cites = {0},
citedby = {0},
pages = {251-259},
booktitle = {2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28 - July 3, 2013},
publisher = {IEEE},
}