Model checking a decentralized storage deduplication protocol. Fast Abstract (0)

by J Paulo, J Pereira
Venue:in Latin-American Symposium on Dependable Computing