Shankar, N. (1991). Mechanical verification of a schematic protocol for Byzantine fault-tolerant clock synchronization.
Chicago-Zitierstil (17. Ausg.)Shankar, Natarajan. Mechanical Verification of a Schematic Protocol for Byzantine Fault-tolerant Clock Synchronization. Stanford, Calif, 1991.
MLA-Zitierstil (9. Ausg.)Shankar, Natarajan. Mechanical Verification of a Schematic Protocol for Byzantine Fault-tolerant Clock Synchronization. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.