Schneider clock synchronization

swMATH28681MaRDI QIDQ40395FDOQ40395

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/ClockSynchInst.html

Cited In (4)

• Prosper
• Calife
• clock synchronization
• Verification of clock synchronization algorithms: experiments on a combination of deductive tools

This page was built for software: Schneider clock synchronization