Invited Speakers.- Security Issues in Service Composition.- Separating Distribution from Coordina...

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 and ...

This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of ...