Englische Ausgabe von Jane Hillston , Sadegh Soudjani , et al.· Taschenbuch· Englische Ausgabe
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, ... Notes in Computer Science, 14996, Band 14996)