Fast Conformance Analysis Based on Activity Log Abstraction | IEEE Conference Publication | IEEE Xplore