clock synchronization

MaRDI QIDQ40394swMATHFDO

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

Cited in

(4)

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

This page was built for software: clock synchronization