Paulo J, Pereira JO.? 2011.??Model Checking a Decentralized Storage Deduplication Protocol. Fast Abstract in Latin-American Symposium on Dependable Computing. :1.