Verification of fault-tolerant clock synchronization systems [microform] / Paul S. Miner (NASA technical paper ; 3349)

Verification of fault-tolerant clock synchronization systems [microform] / Paul S. Miner

(NASA technical paper ; 3349)

Notes on use

Note (General)：: Distributed to depository libraries in microfichePhysical description for original version: 1 v

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Verification of fault-tolerant clock synchronization systems [microform] / Paul S. Miner
Series Title: NASA technical paper ; 3349
Author Heading: Miner, Paul S
United States. National Aeronautics and Space Administration. Scientific and Technical Information Program
Publication Date (W3CDTF): 1993
Extent: microfiche
Size: 11 × 15 cm
Alternative Title: Verification of fault tolerant clock ...
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Fault-tolerant computing
Note (General): Distributed to depository libraries in microfiche
Physical description for original version: 1 v
Note (Original Version): 原資料の出版事項: [Washington, DC] ; [Springfield, Va. : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program : National Technical Information Service, distributor], 1993
SUPTDOC番号: NAS 1.60: 3349
GPO管理番号: 0830-H-15 (MF)
Holding library: 国立国会図書館
Call No.: YCA-NAS 1.60:3349
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006589660
http://id.ndl.go.jp/bib/000006589660
OCLC No.: 30368440
https://www.worldcat.org/oclc/30368440
Bibliographic Record Category (NDL): 281