View of Generating LTL Formulas for Process Mining by Example of Trace

Return to Issue Details Generating LTL Formulas for Process Mining by Example of Trace Download Download PDF