Meggendorfer, T.,
21/10/2022,
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., HolΓk, L. & Wu, Z. (eds.).
p. 320-326 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN βΊ Conference contribution/Paper βΊ peer-review