TY  - RPRT
TI  - Automatic specification of reliability models for fault-tolerant computers
AU  - Liceaga, Carlos A.
AU  - Siewiorek, Daniel P.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19930022680
ID  - 19930022680
ER  -