Pranger, S.,
Könighofer, B.,
Posch, L. &
Bloem, R.,
2021,
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings. Hou, Z. & Ganesh, V. (Hrsg.). Cham:
Springer,
S. 222-228 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12971 LNCS).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung