This book constitutes the refereed proceedings of the 7th International Conference on Integrated ...
This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. ...
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on...
This book constitutes the refereed proceedings of the 14th International Conference on Tests and ...
This open access book constitutes the proceedings of the 23rd International Conference on Fundame...
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference...
This book constitutes the refereed proceedings of the 7th International Conference on Integrated ...
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. ...
This open access book constitutes the proceedings of the 23rd International Conference on Fundame...
This book constitutes the refereed proceedings of the 14th International Conference on Tests a...