TY  - RPRT
TI  - Diagnosing a Failed Proof in Fault-Tolerance: A Disproving Challenge Problem
AU  - Pike, Lee
AU  - Miner, Paul
AU  - Torres-Pomales, Wilfredo
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20060046664
ID  - 20060046664
ER  -