Budde, C. E., Hartmanns, A.,
Meggendorfer, T., Weininger, M. & Wienhöft, P.,
1/05/2025,
Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham:
Springer,
p. 167-190 24 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review