TBFR: a threshold-based file replication approach for increased file availability and its formal verification

Manu Vardhan, Dharmender Singh Kushwaha. TBFR: a threshold-based file replication approach for increased file availability and its formal verification. IJICT, 5(2):97-121, 2013. [doi]

Abstract

Abstract is missing.