%0 Conference Paper %1 conf/qest/BodeHHJPPWB06 %A Böde, Eckard %A Herbstritt, Marc %A Hermanns, Holger %A Johr, Sven %A Peikenkamp, Thomas %A Pulungan, Reza %A Wimmer, Ralf %A Becker, Bernd %B QEST %D 2006 %I IEEE Computer Society %K %P 167-178 %T Compositional Performability Evaluation for STATEMATE. %U http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BodeHHJPPWB06 %@ 0-7695-2665-9

@inproceedings{conf/qest/BodeHHJPPWB06, added-at = {2023-12-13T06:46:09.000+0100}, 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}, biburl = {https://www.bibsonomy.org/bibtex/206bfa4db6e573c4f6b14a277464d7660/admin}, booktitle = {QEST}, crossref = {conf/qest/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/QEST.2006.10}, interhash = {b17cdd2c4f98bbfcc6c0c2a70a890c40}, intrahash = {06bfa4db6e573c4f6b14a277464d7660}, isbn = {0-7695-2665-9}, keywords = {}, pages = {167-178}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T06:46:09.000+0100}, title = {Compositional Performability Evaluation for STATEMATE.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2006.html#BodeHHJPPWB06}, year = 2006 }