CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT.

Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler

Browse the full BPM paper archive.