TY - RPRT TI - A probabilistic model for the evaluation of fault-tolerant multiprocessor systems using concurrent error detection AU - Nair, V. S. S. AU - Abraham, J. A. PY - 1990 UR - https://ntrs.nasa.gov/citations/19920034769 ID - 19920034769 ER -