Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Jozef Hooman  [Clear All Filters]
2015
F. van den Berg, J. Hooman, A. Hartmanns, B. R. Haverkort, and A. Remke, “Computing Response Time Distributions Using Iterative Probabilistic Model Checking”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, 2015.