Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke. Computing Response Time Distributions Using Iterative Probabilistic Model Checking. In Marta Beltrán, William J. Knottenbelt, Jeremy T. Bradley, editors, Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings. Volume 9272 of Lecture Notes in Computer Science, pages 208-224, Springer, 2015. [doi]
@inproceedings{BergHHHR15,
title = {Computing Response Time Distributions Using Iterative Probabilistic Model Checking},
author = {Freek van den Berg and Jozef Hooman and Arnd Hartmanns and Boudewijn R. Haverkort and Anne Remke},
year = {2015},
doi = {10.1007/978-3-319-23267-6_14},
url = {http://dx.doi.org/10.1007/978-3-319-23267-6_14},
researchr = {https://researchr.org/publication/BergHHHR15},
cites = {0},
citedby = {0},
pages = {208-224},
booktitle = {Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
editor = {Marta Beltrán and William J. Knottenbelt and Jeremy T. Bradley},
volume = {9272},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-23266-9},
}