A Formally Verifiable Algorithm for Clock Synchronization under a Hybrid Fault Model.

John M. Rushby

Browse the full PODC paper archive.