Automated model analysis tools and techniques presented at FASE 2019

Hähnle, Reiner (Corresponding author); van der Aalst, Wil M. P.

Berlin / Springer (2020) [Contribution to a conference proceedings, Journal Article]

International journal on software tools for technology transfer : STTT

Identifier

Downloads