Concepedia
Statistics
Publications
1
Citations
20
H-Index
Active since
2011
M Muhammad Atif is an author specializing in heartbeating protocols, computing, and consensus.
Publications per year
2011–2011
Formal modeling and verification of distributed failure detectors
M Muhammad Atif · TU/e Research Portal · 2011 · 20 citations · Full text
Computing, Computer Engineering, Computer Science +16
1–1 of 1