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