Quantitative Evaluation of Systems

This book constitutes the proceedings of  the 14th International Conference on Quantitative Evalu...

Formal Modeling and Analysis of Timed Systems

Principles of Formal Quantitative Analysis

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field ...

Foundations of Software Science and Computation Structures