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. (red.).
Springer,
s. 43-62 20 s. (Lecture Notes in Computer Science, Bind 13465).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review