Dark, J.,
Diddapur, A. &
Konrad, C.,
1 Dec 2023,
43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023. Bouyer, P. & Srinivasan, S. (eds.).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
Vol. 284.
p. 24:1-24:17 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 284).
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)