answersLogoWhite

0

William D. Young has written:

'Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover' -- subject(s): Distributed processing, Electronic data processing, Real-time data processing

User Avatar

Wiki User

10y ago

What else can I help you with?