KOMATSU, Kota; HORITA, Hiroki. Generating LTL Formulas for Process Mining by Example of Trace. Journal of Data Science and Intelligent Systems, [S. l.], 2024. DOI: 10.47852/bonviewJDSIS42022166. Disponível em: https://ojs.bonviewpress.com/index.php/jdsis/article/view/2166. Acesso em: 23 nov. 2024.