TY - BOOK AU - on TI - Dependability for systems with a partitioned state space: Markov and semi-Markov theory and computational implementati U1 - 519.233 PY - 1994/// CY - New York PB - Springer Verlag KW - Markov process ER -