The Resource Mechanical verification of a schematic Byzantine clock synchronization algorithm, Natarajan Shankar

Mechanical verification of a schematic Byzantine clock synchronization algorithm, Natarajan Shankar

Label
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Title
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Statement of responsibility
Natarajan Shankar
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GP1
http://library.link/vocab/creatorName
Shankar, N.
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
Nature of contents
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorName
  • United States
  • Langley Research Center
Series statement
NASA contractor report
Series volume
4386
http://library.link/vocab/subjectName
  • Synchronization
  • Computer programs
  • Fault-tolerant computing
Label
Mechanical verification of a schematic Byzantine clock synchronization algorithm, Natarajan Shankar
Instantiates
Publication
Note
  • Distributed to depository libraries in microfiche
  • "Prepared for Langley Research Center under Contract NAS!-18226."
  • Shipping list no.: 92-0371-M
Base of film
safety base undetermined
Bibliography note
Includes bibliographical references (page 37)
Carrier category
microfiche
Carrier category code
he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
17178917
Dimensions
28 cm.
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
v, 127 pages
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
h
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
Stock number
N 91-27873
Label
Mechanical verification of a schematic Byzantine clock synchronization algorithm, Natarajan Shankar
Publication
Note
  • Distributed to depository libraries in microfiche
  • "Prepared for Langley Research Center under Contract NAS!-18226."
  • Shipping list no.: 92-0371-M
Base of film
safety base undetermined
Bibliography note
Includes bibliographical references (page 37)
Carrier category
microfiche
Carrier category code
he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
17178917
Dimensions
28 cm.
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
v, 127 pages
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
h
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
Stock number
N 91-27873

Library Locations

    • Indiana State LibraryBorrow it
      315 W. Ohio St., Indianapolis, IN, 46202, US
      39.77004 -86.164015

Library Links

Processing Feedback ...