Kretínský, J.,
Meggendorfer, T.,
Prokop, M. &
Rieder, S.,
17/07/2023,
Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
p. 390-414 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13964 LNCS).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review