Automated model analysis tools and techniques presented at FASE 2019
Crossref DOI link: https://doi.org/10.1007/s10009-020-00589-6
Published Online: 2020-09-07
Published Print: 2021-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hähnle, Reiner
van der Aalst, Wil
Funding for this research was provided by:
Technische Universität Darmstadt
Text and Data Mining valid from 2020-09-07
Version of Record valid from 2020-09-07
Article History
First Online: 7 September 2020