Return to Article Details Formal Specification and Verification of a Data Replication Approach in Distributed Systems Download Download PDF