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

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