S. Kounev, C. Dutz, and A. Buchmann. Proceedings of the 3rd International Conference on Quantitative Evaluation of SysTems (QEST 2006), Riverside, California, USA, September 11-14, 2006, page 115--116. Washington, DC, USA, IEEE Computer Society, (September 2006)
S. Spinner, S. Kounev, and P. Meier. Proceedings of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012), volume 7347 of Lecture Notes in Computer Science (LNCS), page 388--397. Berlin, Heidelberg, Springer-Verlag, (June 2012)
S. Kounev, C. Dutz, and A. Buchmann. Proceedings of the 3rd International Conference on Quantitative Evaluation of SysTems (QEST 2006), Riverside, California, USA, September 11-14, 2006, page 115--116. Washington, DC, USA, IEEE Computer Society, (September 2006)
S. Spinner, S. Kounev, and P. Meier. Proceedings of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012), volume 7347 of Lecture Notes in Computer Science (LNCS), page 388--397. Berlin, Heidelberg, Springer-Verlag, (June 2012)