This book constitutes the refereed proceedings of the 12th International Conference on Fundamenta...
This volume constitutes the thoroughly refereed post-conferenceproceedings of the 8th Internati...
This volume contains the proceedings of the 19th International Conference on Concurrency Theory (...
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Meth...
This volume contains the proceedings of the 19th International Conference on Concurrency Theory (...
This book constitutes the refereed proceedings of the 12th International Conference on Fundamenta...
This volume constitutes the thoroughly refereed post-conferenceproceedings of the 8th Internati...
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Meth...