Dyfyniad APA

(1991). Mechanical verification of a schematic Byzantine clock synchronization algorithm / Natarajan Shankar.

Dyfyniad Arddull Chicago

Mechanical Verification of a Schematic Byzantine Clock Synchronization Algorithm / Natarajan Shankar. 1991.

Dyfyniad MLA

Mechanical Verification of a Schematic Byzantine Clock Synchronization Algorithm / Natarajan Shankar. 1991.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.