Willemsen, L.,
Remke, A. &
Ábrahám, E.,
Sept 2023,
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings. Jansen, N. & Tribastone, M. (eds.). Cham, Switzerland:
Springer Nature,
p. 238-254 17 p. Chapter 17. (Lecture Notes in Computer Science; vol. 14287).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review