4 works on record
Validation of stochastic systems
Messung und Modellierung paralleler und verteilter Rechensysteme
Quantitative Evaluation of Systems
Graphs and Combinatorial Optimization : from Theory to Applications