"Verification of Fault-Tolerant Clock Synchronization Algorithms."

Sergiy Bogomolov, Christian Herrera, Wilfried Steiner (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics