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

Devs

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version) | Read Paper on Bytez