Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb. An Event-B based approach for cloud composite services verification. Formal Asp. Comput., 32(4-6):361-393, 2020. [doi]
@article{LahouijHGA20,
title = {An Event-B based approach for cloud composite services verification},
author = {Aida Lahouij and Lazhar Hamel and Mohamed Graiet and Béchir el Ayeb},
year = {2020},
doi = {10.1007/s00165-020-00517-0},
url = {https://doi.org/10.1007/s00165-020-00517-0},
researchr = {https://researchr.org/publication/LahouijHGA20},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {32},
number = {4-6},
pages = {361-393},
}