LEADER 01650nam  2200481Ia 450 
001 9910701781103321
005 20120515125108.0
035   $a(CKB)5470000002420284
035   $a(OCoLC)793652853
035   $a(EXLCZ)995470000002420284
100   $a20120515d2011      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCorrectness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs$b[electronic resource] /$fMahyar R. Malekpour
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2011]
215   $a1 online resource (vi, 24 pages) $cillustrations
225 1 $aNASA/TM ;$v2011-217184
300   $aTitle from title screen (viewed on May 15, 2012).
300   $a"October 2011."
320   $aIncludes bibliographical references (page 23).
606   $aClocks$2nasat
606   $aSynchronism$2nasat
606   $aProving$2nasat
606   $aStabilization$2nasat
606   $aMessages$2nasat
606   $aProtocol (computers)$2nasat
615  7$aClocks.
615  7$aSynchronism.
615  7$aProving.
615  7$aStabilization.
615  7$aMessages.
615  7$aProtocol (computers)
700   $aMalekpour$b Mahyar R$01394752
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701781103321
996   $aCorrectness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs$93520892
997   $aUNINA