M Muhammad Atif

Formal modeling and verification of distributed failure detectors

M Muhammad Atif, Mian Muhammad Atif, 2011 .

Formal analysis of consensus protocols in asynchronous distributed systems

M Muhammad Atif, 2009 .