Boudewijn R. Haverkort (Haverkort, Boudewijn R.)

English

• 
  Computer Performance Evaluation: Modelling Techniques and Tools 11th International Conference, Tools 2000, Schaumburg, Il, Usa, March 27-31, 2000 Proceedings
  by Connie U. Smith, Boudewijn R. Haverkort, Henrik C. Bohnenkamp
  Softcover, Springer Verlag, ISBN 3540672605 (3-540-67260-5)
• 
  Formal Methods Applications and Technology: 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A
  by Lubos Brim, Martin Leucker, Jaco van de Pol, Boudewijn Haverkort
  Softcover, Springer-Verlag New York Inc, ISBN 3540709517 (3-540-70951-7)
• 
  Performability Modelling: Techniques and Tools
  by Raymond Marie, Gerardo Rubino, Kishor Trivedi, Boudewijn R. Haverkort
  Hardcover, John Wiley & Sons Inc, ISBN 0471491950 (0-471-49195-0)
• 
  Performance of Computer Communication Systems: A Model-Based Approach
  by Boudewijn R. Haverkort
  Hardcover, John Wiley & Sons Inc, ISBN 0470841923 (0-470-84192-3)

  More editions of Performance of Computer Communication Systems: A Model-Based Approach:

  • Performance of Computer Communication Systems: A Model-Based Approach: Hardcover, John Wiley & Son Ltd, ISBN 0471972282 (0-471-97228-2)
• 
  Validation Of Stochastic Systems: A Guide To Current Research
  by Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Christel Baier, Markus Siegle
  Softcover, Springer-Verlag New York Inc, ISBN 3540222650 (3-540-22265-0)

German

• 
  Tagungsband: 11. GI/ITG Fachtagung uber Messung, Modellierung Und Bewertung Von Rechen- Und Kommunikationssystemen 11. Bis 14. September 2001 in Aachen
  by Boudewijn R. Haverkort
  Hardcover, VDE, ISBN 3800726262 (3-8007-2626-2)