Schneider clock synchronization

MaRDI QIDQ40395swMATHFDO

Authors Damián Barsotti

Publication date 15 March 2006

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

Cites work

• Synchronizing clocks in the presence of faults
• Verification of clock synchronization algorithms: experiments on a combination of deductive tools

Cited in

(4)

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

This page was built for software: Schneider clock synchronization