TY - RPRT TI - Study of techniques for redundancy verification without disrupting systems, phases 1-3 PY - 1970 UR - https://ntrs.nasa.gov/citations/19720014852 ID - 19720014852 ER -