From LTL on Process Traces to Finite-state Automata

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
September, 2023
Cite
Type
Conference paper
Publication
BPM (Demos / Resources Forum)