CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)

Open in new window