Symbolically Aligning Observed and Modelled Behaviour

Bloemen, Vincent; van de Pol, Jaco; van der Aalst, Wil M. P.

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

Identifikationsnummern