Djerou, M., & Tibermacine, O. (2022). SAGA Distributed Transactions Verification Using Maude. In (pp. 1–6). Biskra, Algeria: IEEE. http://doi.org/10.1109/ISNIB57382.2022.10076050 (Original work published 2025)
First name
Okba
Last name
Tibermacine