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]
Abstract is missing.