Calife

MaRDI QIDQ40321swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S1571066104052259

Cited in

(4)

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

This page was built for software: Calife