Verification of fault-tolerant clock synchronization systems (1993)

by Paul S Miner
Venue:NASA Technical Paper 3349, NASA Langley Research