@inproceedings{DBLP:conf/icpm/IbershimiXADM23,
  author       = {Tedi Ibershimi and
                  Diellsimeone Xhemalaj and
                  Anti Alman and
                  Ivan Donadello and
                  Fabrizio Maria Maggi},
  title        = {Two Solutions for Checking LTLf Properties in Event Logs},
  booktitle    = {{ICPM} Doctoral Consortium / Demo},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3648},
  publisher    = {CEUR-WS.org},
  year         = {2023}
}