@misc{indiciae041295bf9682,
  title = {Self-Checking Pairs Of Microprocessors},
  author = {Smith, Brian S.},
  year = {1995},
  url = {https://ntrs.nasa.gov/citations/19950065175},
  note = {Source identifier: 19950065175}
}