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 |
BibTeX
@INPROCEEDINGS{Young92verifyingthe,
author = {William D. Young},
title = {Verifying the Interactive Convergence clock-synchronization algorithm using the Boyer-Moore prover},
booktitle = {NASA Contractor Report 189649, NASA Langley Research},
year = {1992}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of
Citations
No citations identified.
