TY  - RPRT
TI  - An abstract specification language for Markov reliability models
AU  - Butler, R. W.
PY  - 1985
UR  - https://ntrs.nasa.gov/citations/19850019305
ID  - 19850019305
ER  -