B. Haverkort, J. Katoen, and L. Thiele. Quantitative Aspects of Embedded Systems, volume 07101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
B. Haverkort, J. Katoen, and L. Thiele. Quantitative Aspects of Embedded Systems, volume 07101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
B. Haverkort, R. Khayari, and R. Sadre. Computer Performance Evaluation / TOOLS, volume 2794 of Lecture Notes in Computer Science, page 273-290. Springer, (2003)
M. Benkert, J. Gudmundsson, H. Haverkort, and A. Wolff. Proc. 32nd Internat. Conf. Current Trends Theory & Practice Comput. Sci. (SOFSEM'06), volume 3831 of #LNCS#, page 166--175. #SV#, (2006)
M. Benkert, J. Gudmundsson, H. Haverkort, and A. Wolff. Proc. 32nd Int. Conf. Current Trends Theory &
Practice Comput. Sci. (SOFSEM'06), volume 3831 of Lecture Notes in Computer Science, page 166--175. Springer-Verlag, (2006)