· DAGSTUHL SEMINAR TIME SERVICES Formal Verification of Clock Synchronization Algorithms Under...
22
· DAGSTUHL SEMINAR TIME SERVICES Formal Verification of Clock Synchronization Algorithms Under Byzantine and Hybrid Fault Models John Rushby SRI International Menlo Park California