Cover Image

Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs /

Bibliographic Details
Main Author: Malekpour, Mahyar R.
Corporate Author: Langley Research Center
Format: Government Document eBook
Language:English
Published: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]
Series:NASA technical memorandum ; 217152.
Subjects:
Clocks.
Stabilization.
Distributed processing.
Time synchronization.
Online Access:https://purl.fdlp.gov/GPO/gpo15612
Description
Item Description:Title from title screen (viewed on Nov. 28, 2011).
"May 2011."
Electronic resource.
Physical Description:1 online resource (vi, 24 pages) : illustrations
Bibliography:Includes bibliographical references (page 21).