%0 Conference Paper %1 conf/aiia/FelliGMRW22 %A Felli, Paolo %A Gianola, Alessandro %A Montali, Marco %A Rivkin, Andrey %A Winkler, Sarah %B OVERLAY@AI*IA %D 2022 %E Geatti, Luca %E Sciavicco, Guido %E Umbrico, Alessandro %I CEUR-WS.org %K dblp %P 87-92 %T A Modular SMT-based Approach for Data-aware Conformance Checking. %U http://dblp.uni-trier.de/db/conf/aiia/overlay2022.html#FelliGMRW22 %V 3311

@inproceedings{conf/aiia/FelliGMRW22, added-at = {2023-03-10T00:00:00.000+0100}, author = {Felli, Paolo and Gianola, Alessandro and Montali, Marco and Rivkin, Andrey and Winkler, Sarah}, biburl = {https://www.bibsonomy.org/bibtex/2d901d3522434b04e797b4a429d1cdb93/dblp}, booktitle = {OVERLAY@AI*IA}, crossref = {conf/aiia/2022overlay}, editor = {Geatti, Luca and Sciavicco, Guido and Umbrico, Alessandro}, ee = {https://ceur-ws.org/Vol-3311/paper14.pdf}, interhash = {32865d36955774d1652d16dc0a71d14f}, intrahash = {d901d3522434b04e797b4a429d1cdb93}, keywords = {dblp}, pages = {87-92}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:16:53.000+0200}, title = {A Modular SMT-based Approach for Data-aware Conformance Checking.}, url = {http://dblp.uni-trier.de/db/conf/aiia/overlay2022.html#FelliGMRW22}, volume = 3311, year = 2022 }