Mechanical verification of a schematic Byzantine clock synchronization algorithm
Edición de la obra Mechanical verification of a schematic Byzantine clock synchronization algorithm
| Autor | Natarajan Shankar |
|---|---|
| Editorial | National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, For sale by the National Technical Information Service] |
| Fecha de publicación | 1991 |
| Lugar | [Washington, D.C.?], [Springfield, Va |
| Idioma | inglés |
| Páginas | 127 |
| Formato | Microform |
| Serie | NASA contractor report -- 4386. · NASA contractor report -- NASA CR-4386. |
| Número de Cutter | S528m |