@inproceedings{Bö2006,Author = {Böde, Eckard and Herbstritt, Marc and Hermanns, Holger and Johr, Sven and Peikenkamp, Thomas and Pulungan, Reza and Wimmer, Ralf and Becker, Bernd},Title = {Compositional Performability Evaluation for STATEMATE},Year = {2006},Month = {09},Publisher = {IEEE Computer Society Press},Booktitle = {QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems},type = {inproceedings}}@COMMENT{Bibtex file generated on }