Maderbacher, B.,
Schupp, S.,
Bartocci, E.,
Bloem, R.,
Nickovic, D. &
Könighofer, B.,
May 2023,
Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.).
Springer Nature Switzerland AG,
p. 141-160 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review