9

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
This book proudly presents the proceedings of the joint event for the 23rd International Conference on Quantitative Evaluation of …
Cite DOI
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems