| Record ID | marc_university_of_toronto/uoft.marc:3696210485:766 |
| Source | University of Toronto |
| Download Link | /show-records/marc_university_of_toronto/uoft.marc:3696210485:766?format=raw |
LEADER: 00766nam 22002052 4500
008 000000s1989 ||| | |||| ||||| d
088 $aNASA CR-4239
090 $aNASA CR-4239$bAERO
100 1 $aRushby, John.
245 10 $aFormal verification of a fault tolerant clock synchronization algorithm /$cJohn Rushby and Frieder von Henke.
260 $aHampton, Va :$bLangley Research Center,$c1989.
300 $a217 p.
504 $aBibliography: p.73-74.
536 $bContract number: NAS1-17067
650 7 $aClock synchronization algorithm$2nasat
700 1 $avon Henke, Frieder.
710 20 $aLangley Research Center
710 20 $aSRI International
948 $a01/08/2001$b01/08/2001
949 $aNASA CR-4239$wLC$c1$i34444022779565$lSTACKS$mAEROSPACE$rY$sY$tBOOK$u28/1/2001