Skip to content

From LTL on Process Traces to Finite-state Automata.

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi

VenueABPM
Year2023
ProceedingsBPM (Demos / Resources Forum)

Browse the full BPM paper archive.