EEMCS

Böde, E. and Herbstritt, M. and Hermanns, H. and Johr, S. and Peikenkamp, T. and Pulungan, R. and Wimmer, R. and Becker, B. (2006) Compositional Performability Evaluation for STATEMATE. In: 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006, 11-14 Sep 2006, Riverside, USA. pp. 167-176. IEEE Computer Society. ISBN 0-7695-2665-9

Wimmer, R. and Herbstritt, M. and Hermanns, H. and Strampp, K. and Becker, B. (2006) Sigref - A Symbolic Bisimulation Tool Box. In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, 23-26 October 2006, Beijing, China. pp. 477-492. Lecture notes in Computer Science 4218. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-47237-7