Automated model analysis tools and techniques presented at FASE 2019

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

Berlin : Springer (2020, 2021)
Contribution to a conference proceedings, Journal Article (Editorial)

In: International journal on software tools for technology transfer : STTT
Volume: 23
Issue: 3
Page(s)/Article-Nr.: 285-287


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]