This book constitutes the revised selected papers from the 11th International Conference on Risk ...
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Ver...
"e;From Programs to Systems - The Systems Perspective in Computing"e; workshop (FPS 2014)...
This book constitutes the refereed proceedings of the 26th International Symposium on Model Check...
This book constitutes the revised selected papers from the 12th International Conference on Risk ...
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o...
This book constitutes the revised selected papers from the 11th International Conference on Risk ...
This book constitutes the refereed proceedings of the 26th International Symposium on Model Ch...