This book constitutes the refereed proceedings of the 29th International Symposium on Model Check...

This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundame...