Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs /
Saved in:
| Author / Creator: | Malekpour, Mahyar R. |
|---|---|
| Imprint: | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] |
| Description: | 1 online resource (vi, 24 p.) : ill. |
| Language: | English |
| Series: | NASA/TM ; 2011-217184 NASA technical memorandum ; 217184. |
| Subject: | |
| Format: | E-Resource U.S. Federal Government Document Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8832508 |