Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs / Mahyar R. Malekpour.
| Author/creator | Malekpour, Mahyar R. |
| Other author | Langley Research Center. |
| Format | Electronic |
| Publication Info | Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] |
| Description | 1 online resource (vi, 24 p.) : ill. |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo15612 |
| Series | NASA/TM ; 2011-217152 NASA technical memorandum 217152. ^A467613 |
| General note | Title from title screen (viewed on Nov. 28, 2011). |
| General note | "May 2011." |
| General note | GPO Cataloging Record Distribution Program (CRDP). |
| Bibliography note | Includes bibliographical references (p. 21). |
| Funding information | L-20029 |
| Funding information | 534723.02.02.07.30 |
| GPO item number | 0830-D (online) |
| Govt. docs number | NAS 1.15:2011-217152 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |