TY  - RPRT
TI  - Verification of redundancy management design
AU  - Gelderloos, H. C.
AU  - Wilson, D. V.
PY  - 1978
UR  - https://ntrs.nasa.gov/citations/19780000145
ID  - 19780000145
ER  -