Alireza Souri. Formal Specification and Verification of a Data Replication Approach in Distributed Systems. ijngc [Internet]. 2016 Mar. 1 [cited 2024 May 4];7(1):18-37. Available from: http://ijngc.perpetualinnovation.net/index.php/ijngc/article/view/102