TY  - RPRT
TI  - Markov Chains For Testing Redundant Software
AU  - White, Allan L.
AU  - Sjogren, Jon A.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19900000139
ID  - 19900000139
ER  -