LEADER 01544nam  2200433Ia 450 
001 9910701156903321
005 20111128133532.0
035   $a(CKB)5470000002415478
035   $a(OCoLC)763301482
035   $a(EXLCZ)995470000002415478
100   $a20111128d2011      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel checking 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-217152
300   $aTitle from title screen (viewed on Nov. 28, 2011).
300   $a"May 2011."
320   $aIncludes bibliographical references (page 21).
606   $aClocks$2nasat
606   $aStabilization$2nasat
606   $aDistributed processing$2nasat
606   $aTime synchronization$2nasat
615  7$aClocks.
615  7$aStabilization.
615  7$aDistributed processing.
615  7$aTime synchronization.
700   $aMalekpour$b Mahyar R$01394752
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701156903321
996   $aModel checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs$93545361
997   $aUNINA