Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings Jansen, David N. Heftet / 2018 / Engelsk
Quantitative Evaluation of Systems 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings Gribaudo Marco Heftet / 2020 / Engelsk
