@article{de844b15e59d4da89a7165763da2b5ac,
title = "Modelling techniques and tools for computer performance evaluation",
author = "Peter Kemper and Sanders, {William H.}",
note = "Funding Information: Peter Kemper holds a diploma degree in computer science (Dipl.-Inform., 1992) and a doctoral degree (Dr.rer.nat, 1996), both from Universit{\"a}t Dortmund, Germany, where he performs research and lectures in the Department of Computer Science. His main interests are in the quantitative evaluation of systems and formal aspects of software engineering. In addition to developing modelling techniques and tools for performance and dependability assessment of computer and communication systems, he also works on model-based evaluation of manufacturing systems and logistic networks. Since 1998, he has been contributing to the Collaborative Research Center on Modelling Large Networks in Logistics, SFB 559, funded by Deutsche Forschungsgemeinschaft. He has contributed to several tools for functional and quantitative analysis of discrete event systems, including the QPN tool, the APNN toolbox, and the ProC/B toolset. Copyright: Copyright 2006 Elsevier B.V., All rights reserved.",
year = "2006",
month = jun,
doi = "10.1016/j.peva.2005.06.004",
language = "English (US)",
volume = "63",
pages = "521--523",
journal = "Performance Evaluation",
issn = "0166-5316",
publisher = "Elsevier B.V.",
number = "6",
}