Bhargavan, K.,
Bichhawat, A.,
Do, Q. H.,
Hosseyni, P.,
Küsters, R.,
Schmitz, G. &
Würtele, T.,
2021,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH,
p. 77-97 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13066 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter