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 (Editorial)

In: International journal on software tools for technology transfer : STTT