TY  - BOOK
AU  - Atif, Muhammad
TI  - Formal modeling and verification of distributed failure detectors
SN  - 9789038626208
U1  - 681.2 
PY  - 2011///
CY  - Samundri, Pakistan
PB  - Geboren te
ER  -