Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.