This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...
This book constitutes the proceedings of the 21st International Conference on Foundations of Soft...
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (...
This book constitutes the proceedings of the 38th IFIP WG 6.1International Conference on Formal...
A comprehensive introduction to the foundations of model checking, a fully automated technique fo...
This book constitutes the proceedings of the 21st International Conference on Foundations of Soft...
This book constitutes the proceedings of the 38th IFIP WG 6.1International Conference on For...
This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (...