@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 }