This book constitutes the refereed proceedings of the 10th International Conference on Model Tran...
This book constitutes the refereed proceedings of the 12th International Conference on Graph Tran...
FASE Contributions.- On Benchmarking for Concurrent Runtime Verification.- Certified Abstract Cos...