Schneider clock synchronization

MaRDI QIDQ40395swMATHFDO

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