Publications

Export 2 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Boudewijn R. Haverkort  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
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.
M
C. Baier, E. M. Hahn, B. R. Haverkort, H. Hermanns, and J. - P. Katoen, “Model checking for performability”, Mathematical Structures in Computer Science, vol. 23, p. 751–795, 2013.