Imed Abbassi, Amel Mammar, Mohamed Graiet. A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration. IEEE T. Services Computing, 15(5):2511-2525, 2022. [doi]
@article{AbbassiMG22, title = {A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration}, author = {Imed Abbassi and Amel Mammar and Mohamed Graiet}, year = {2022}, doi = {10.1109/TSC.2021.3072327}, url = {https://doi.org/10.1109/TSC.2021.3072327}, researchr = {https://researchr.org/publication/AbbassiMG22}, cites = {0}, citedby = {0}, journal = {IEEE T. Services Computing}, volume = {15}, number = {5}, pages = {2511-2525}, }