TY  - RPRT
TI  - An abstract language for specifying Markov reliability models
AU  - Butler, Ricky W.
PY  - 1986
UR  - https://ntrs.nasa.gov/citations/19870042350
ID  - 19870042350
ER  -