Budde, C. E.
, 17 Apr 2020
, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I.
Biere, A. & Parker, D. (eds.). Springer
, p. 483-491 9 p.
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12078 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review