TY  - RPRT
TI  - Markov chains for testing redundant software
AU  - White, Allan L.
AU  - Sjogren, Jon A.
PY  - 1988
UR  - https://ntrs.nasa.gov/citations/19880056148
ID  - 19880056148
ER  -