01544nam 2200433Ia 450 991070115690332120111128133532.0(CKB)5470000002415478(OCoLC)763301482(EXLCZ)99547000000241547820111128d2011 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierModel checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs[electronic resource] /Mahyar R. MalekpourHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[2011]1 online resource (vi, 24 pages) illustrationsNASA/TM ;2011-217152Title from title screen (viewed on Nov. 28, 2011)."May 2011."Includes bibliographical references (page 21).ClocksnasatStabilizationnasatDistributed processingnasatTime synchronizationnasatClocks.Stabilization.Distributed processing.Time synchronization.Malekpour Mahyar R1394752Langley Research Center.GPOGPOBOOK9910701156903321Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs3545361UNINA