Lange, J. &
Yoshida, N.,
12 Jul 2019,
Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.).
Springer Verlag,
p. 97-117 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution