Verification of fault-tolerant clock synchronization systems
By: Paul S. Miner.
Contributors: Langley Research Center
Publisher: Langley Research Center
Published: 1993
Place of publication: Hampton, Va
Number of pages: 137
Subjects: Clock synchronization algorithm; Fault tolerance
Notes: Includes bibliographical references: p. 135-137.