Peruffo, A. & Abate, A., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, p. 135-153 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12860 LNCS).
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review