Mechanical verification of a schematic Byzantine clock synchronization algorithm /

Chicago citation style
Shankar, Natarajan, 1959-. Mechanical verification of a schematic Byzantine clock synchronization algorithm /. 1991. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431895. (Accessed September 24, 2018.)
APA citation style
Shankar, Natarajan, 1959-, (1991) Mechanical verification of a schematic Byzantine clock synchronization algorithm /. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431895
MLA citation style
Shankar, Natarajan, 1959-. Retrieved from the Digital Public Library of America <http://catalog.hathitrust.org/Record/011431895>.
Note: These citations are programmatically generated and may be incomplete.