Mechanical verification of clock synchronization algorithms (1998)

by D Schwier, F von Henke
Venue:Formal Techniques in Real-Time and Fault-Tolerant Systems, number 1486 in LNCS