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)
Buchbeitrag, Beitrag zu einem Tagungsband
In: 2018 18th International Conference on Application of Concurrency to System Design (ACSD) : [Proceedings]
Seite(n)/Artikel-Nr.: 50-59
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 9 (Process and Data Science) [122510]
Identifikationsnummern
- DOI: 10.1109/ACSD.2018.00008
- RWTH PUBLICATIONS: RWTH-2020-01417