Hähnle, Reiner ; Aalst, Wil van der (2024)
Automated model analysis tools and techniques presented at FASE 2019.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (3)
doi: 10.26083/tuprints-00023913
Article, Secondary publication, Publisher's Version