Automated model analysis tools and techniques presented at FASE 2019
Hähnle, Reiner (Corresponding author); van der Aalst, Wil M. P.
Berlin / Springer (2020) [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
International journal on software tools for technology transfer : STTT
Identifikationsnummern
- DOI: 10.1007/s10009-020-00589-6
- REPORT NUMBER: RWTH-2020-10203