@INPROCEEDINGS{,
author = {R. Wimmer and S. Johr and H. Hermanns and B. Becker and E. Bode and M. Herbstritt and T. Peikenkamp and R. Pulungan},
booktitle = {Quantitative Evaluation of Systems, International Conference on(QEST)},
title = {Compositional Performability Evaluation for STATEMATE},
year = {2006},
volume = {00},
number = {},
pages = {167-178},
keywords={null},
doi = {10.1109/QEST.2006.10},
url = {doi.ieeecomputersociety.org/10.1109/QEST.2006.10},
ISSN = {},
month={09}
}