Verifying the Interactive Convergence clock-synchronization algorithm using the Boyer-Moore prover (1992)

by William D. Young
Venue:NASA Contractor Report 189649, NASA Langley Research
Citations:13 - 1 self