These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Ind...
This book constitutes the proceedings of the 12th International Conference on Quantitative Evalua...
Thisbook constitutes the proceedings of the 18th International GI ITG Conference onMeasurement, M...
Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Com...
Invited Paper.- Performance Evaluation with Heavy Tailed Distributions.- Queueing Network Models....