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

This book constitutes the refereed proceedings of the 18th International Conference on Formal Mod...

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

This open access book constitutes the proceedings of the 29th International Conference on Foundat...