timed systems

This book proudly presents the proceedings of the joint event for the 23rd International Conference on Quantitative Evaluation of …