Symbolically Aligning Observed and Modelled Behaviour

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

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

Authors

Authors

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

Identifier