TY - CONF
TI - Compositional Performability Evaluation for STATEMATE
T2 - Quantitative Evaluation of Systems, International Conference on(QEST)
SP - 167
EP - 178
AU - R. Wimmer
AU - S. Johr
AU - H. Hermanns
AU - B. Becker
AU - E. Bode
AU - M. Herbstritt
AU - T. Peikenkamp
AU - R. Pulungan
PY - 2006
KW - null
DO - 10.1109/QEST.2006.10
JO - Quantitative Evaluation of Systems, International Conference on(QEST)
SN - 0-7695-2665-9
VO - 10.1109/QEST.2006.10
VL - 00
JA - Quantitative Evaluation of Systems, International Conference on(QEST)
Y1 - September 2006
ER -