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. 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)
F. van den Berg, B. Haverkort, and J. Hooman. ModelEd, TestEd, TrustEd, volume 10500 of Lecture Notes in Computer Science, page 214-236. Springer, (2017)
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)
L. Franken, R. Pijpers, and B. Haverkort. Computer Performance Evaluation, volume 794 of Lecture Notes in Computer Science, page 89-110. Springer, (1994)