TY  - RPRT
TI  - Design methods for fault-tolerant navigation computers
AU  - Avizienis, A.
PY  - 1969
UR  - https://ntrs.nasa.gov/citations/19690031505
ID  - 19690031505
ER  -