TY  - RPRT
TI  - Performability analysis using semi-Markov reward processes
AU  - Ciardo, Gianfranco
AU  - Marie, Raymond A.
AU  - Sericola, Bruno
AU  - Trivedi, Kishor S.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910027766
ID  - 19910027766
ER  -