Formal verification of a fault tolerant clock synchronization algorithm
By: John Rushby and Frieder von Henke.
Contributors: von Henke, Frieder.; Langley Research Center; SRI International
Publisher: Langley Research Center
Published: 1989
Place of publication: Hampton, Va
Number of pages: 217
Subjects: Clock synchronization algorithm
Notes: Bibliography: p.73-74.

Contract number: NAS1-17067