TY  - RPRT
TI  - Verifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover
AU  - Young, William D.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19920021914
ID  - 19920021914
ER  -