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