Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Government Document eBook |
| Language: | English |
| Published: |
Hampton, Va. :
National Aeronautics and Space Administration, Langley Research Center,
[2011]
|
| Series: | NASA technical memorandum ;
217184. |
| Subjects: | |
| Online Access: | https://purl.fdlp.gov/GPO/gpo22669 |
| Item Description: | Title from title screen (viewed on May 15, 2012). "October 2011." Electronic resource. |
|---|---|
| Physical Description: | 1 online resource (vi, 24 pages) : illustrations |
| Bibliography: | Includes bibliographical references (page 23). |