%0 Conference Paper %1 conf/icpm/IbershimiXADM23 %A Ibershimi, Tedi %A Xhemalaj, Diellsimeone %A Alman, Anti %A Donadello, Ivan %A Maggi, Fabrizio Maria %B ICPM Doctoral Consortium / Demo %D 2023 %E van der Werf, Jan Martijn E. M. %E Cabanillas, Cristina %E Leotta, Francesco %E Genga, Laura %I CEUR-WS.org %K dblp %T Two Solutions for Checking LTLf Properties in Event Logs. %U http://dblp.uni-trier.de/db/conf/icpm/icpm2023dc.html#IbershimiXADM23 %V 3648

@inproceedings{conf/icpm/IbershimiXADM23, added-at = {2024-04-15T00:00:00.000+0200}, author = {Ibershimi, Tedi and Xhemalaj, Diellsimeone and Alman, Anti and Donadello, Ivan and Maggi, Fabrizio Maria}, biburl = {https://www.bibsonomy.org/bibtex/206fd577e1efc6141266493f359f6ad8e/dblp}, booktitle = {ICPM Doctoral Consortium / Demo}, crossref = {conf/icpm/2023dc}, editor = {van der Werf, Jan Martijn E. M. and Cabanillas, Cristina and Leotta, Francesco and Genga, Laura}, ee = {https://ceur-ws.org/Vol-3648/paper_5986.pdf}, interhash = {f757e69d1c17da56fed7b54c1a970314}, intrahash = {06fd577e1efc6141266493f359f6ad8e}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-22T07:43:17.000+0200}, title = {Two Solutions for Checking LTLf Properties in Event Logs.}, url = {http://dblp.uni-trier.de/db/conf/icpm/icpm2023dc.html#IbershimiXADM23}, volume = 3648, year = 2023 }