Symbolically Aligning Observed and Modelled Behaviour

Bloemen, Vincent (Corresponding author); van de Pol, Jaco (Corresponding author); van der Aalst, Wil M. P. (Corresponding author)

IEEE (2018)
Contribution to a book, Contribution to a conference proceedings

In: 2018 18th International Conference on Application of Concurrency to System Design (ACSD) : [Proceedings]
Page(s)/Article-Nr.: 50-59


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