This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Sys...
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...
This book constitutes the revised selected papers of the 8th International Conference on Networke...
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022...
This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Sys...
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...
This book constitutes the refereed proceedings of the 6th International Conference on Runtime ...
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...
This book constitutes the revised selected papers of the 8th International Conference on Networke...