Muhammad Atif

MathSciNet


Ph.D. Technische Universiteit Eindhoven 2011 Netherlands
Dissertation: Formal Modeling and Verification of Distributed Failure Detectors
Mathematics Subject Classification: 68—Computer science

Advisor 1: Jan Friso Groote
Advisor 2: Mark (Marinus) Gerardus Josephus van den Brand
Advisor 3: MohammadReza Mousavi

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 157501 for the advisor ID.