A Temporal Logic-Based Measurement Framework for Process Mining | IEEE Conference Publication | IEEE Xplore

A Temporal Logic-Based Measurement Framework for Process Mining | IEEE Conference Publication | IEEE Xplore

翻译：