1.
et. al. BKS. Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B. TURCOMAT [Internet]. 2021May10 [cited 2024Mar.2];12(11):2748-62. Available from: https://www.turcomat.org/index.php/turkbilmat/article/view/6299