Grosen, T. M.,
Kauffman, S.,
Larsen, K. G. &
Zimmermann, M.,
Aug 2022,
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Bogomolov, S. & Parker, D. (eds.).
Springer,
p. 43-62 20 p. (Lecture Notes in Computer Science, Vol. 13465).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review