B. Haverkort, H. Idzenga, and B. Kim. Modelling and Evaluation of ATM Networks, volume 17 of IFIP Conference Proceedings, page 553-572. Chapman & Hall, (1994)
M. de Berg, H. Haverkort, S. Thite, and L. Toma. Algorithms and Computation, 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings, volume 4835 of Lecture Notes in Computer Science, page 500―511. Springer, (2007)
M. de Berg, O. Cheong, H. Haverkort, J. Lim, and L. Toma. Algorithms and Data Structures, 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings, volume 4619 of Lecture Notes in Computer Science, page 239―250. Springer, (2007)
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)
J. Gudmundsson, H. Haverkort, S. Park, C. Shin, and A. Wolff. Proc. 5th Internat. Workshop Approx. Algorithms Combinat. Optimizat. (APPROX'02), volume 2462 of #LNCS#, page 146--160. #SV#, (2002)
J. Hellings, G. Fletcher, and H. Haverkort. Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data, page 553--564. New York, NY, USA, ACM, (2012)c++ sourcecode at: http://jhellings.nl/projects/exbisim/.
L. Franken, R. Pijpers, and B. Haverkort. Computer Performance Evaluation, volume 794 of Lecture Notes in Computer Science, page 89-110. Springer, (1994)
B. Haverkort, R. Khayari, and R. Sadre. Computer Performance Evaluation / TOOLS, volume 2794 of Lecture Notes in Computer Science, page 273-290. Springer, (2003)
B. Haverkort, and H. Idzenga. Application of Petri Nets to Communication Networks, volume 1605 of Lecture Notes in Computer Science, page 210-231. Springer, (1999)
B. Haverkort. European Educational Forum: School on Formal Methods and Performance Analysis, volume 2090 of Lecture Notes in Computer Science, page 38-83. Springer, (2000)
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)