View of Formal Specification and Verification of a Data Replication Approach in Distributed Systems

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