| Record ID | marc_oregon_summit_records/catalog_files/osu_bibs.mrc:857789328:1455 |
| Source | Oregon Libraries |
| Download Link | /show-records/marc_oregon_summit_records/catalog_files/osu_bibs.mrc:857789328:1455?format=raw |
LEADER: 01455nam a22003737a 4500
001 28037622
003 OR
008 940528s1992 vau b f000 0 eng d
035 $a10864527
037 $aN 92-31158$bNASA
040 $aGPO$cGPO$dDLC$dMvI
049 $aOREF$lbna
074 $a0830-H-14 (MF)
086 $aNAS 1.26:189649
086 0 $aNAS 1.26:189649
099 $aNAS 1.26:189649
100 1 $aYoung, William D.
245 10 $aVerifying the interactive convergence clock synchronization algorithm using the Boyer-Moore theorem prover$h[microform] /$cWilliam D. Young.
260 $aHampton, Va. :$bNational Aeronautics and Space Administration, Langley Research Center ;$a[Springfield, Va. :$bNational Technical Information Service, distributor,$c[1992]
300 $a1 v.
490 1 $aNASA contractor report ;$v189649.
533 $aMicrofiche.$b[Washington, D.C. :$cNational Aeronautics and Space Administration],$d1992.$e1 microfiche.
500 $aDistributed to depository libraries in microfiche.
500 $aShipping list no.: 93-0029-M.
650 0 $aReal-time data processing.
650 0 $aElectronic data processing$xDistributed processing.
710 2 $aLangley Research Center.
830 0 $aNASA contractor report ;$vNASA CR-189649.
907 $a.b17912040$bvmi $c-
902 $a040817
998 $b1$c981001$dm$ea$f-$g0
937 $aAssessment exclusion record.
999 $a19940528160442.0
945 $lvminf$e1