Autor: Uli Fahrenberg

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 …

This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMi CS 2020, which was due to be held in Palaiseau, France, in Apr …

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMi CS 2021, which took place in Marseille, France, during Novembe …

This book constitutes the refereed proceedings of the 21st International Conference, RAMi CS 2024, held in Prague, Czech Republic, during August 19-22, 2024.The 15 full papers presented in this book …