Muhammad Atif
Ph.D. Technische Universiteit Eindhoven 2011
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.