Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler. CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. In Artem Polyvyanyy, Moe Thandar Wynn, Amy Van Looy, Manfred Reichert, editors, Business Process Management - 19th International Conference, BPM 2021, Rome, Italy, September 06-10, 2021, Proceedings. Volume 12875 of Lecture Notes in Computer Science, pages 217-234, Springer, 2021. [doi]
Abstract is missing.