Symbolically Aligning Observed and Modelled Behaviour

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

15 Citations (Scopus)

250 Downloads (Pure)

15 Citations
1 PhD Thesis - Research UT, graduation UT

1 results

2019
Strong Connectivity and Shortest Paths for Checking Models
Bloemen, V., 10 Jul 2019, Enschede: University of Twente. 264 p.
Research output: Thesis › PhD Thesis - Research UT, graduation UT

Open Access
File
589 Downloads (Pure)