Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler. Conformance Checking with Uncertainty via SMT. In Claudio Di Ciccio, Remco M. Dijkman, Adela del-Río-Ortega, Stefanie Rinderle-Ma, editors, Business Process Management - 20th International Conference, BPM 2022, Münster, Germany, September 11-16, 2022, Proceedings. Volume 13420 of Lecture Notes in Computer Science, pages 199-216, Springer, 2022. [doi]
@inproceedings{FelliGMRW22,
title = {Conformance Checking with Uncertainty via SMT},
author = {Paolo Felli and Alessandro Gianola and Marco Montali and Andrey Rivkin and Sarah Winkler},
year = {2022},
doi = {10.1007/978-3-031-16103-2_15},
url = {https://doi.org/10.1007/978-3-031-16103-2_15},
researchr = {https://researchr.org/publication/FelliGMRW22},
cites = {0},
citedby = {0},
pages = {199-216},
booktitle = {Business Process Management - 20th International Conference, BPM 2022, Münster, Germany, September 11-16, 2022, Proceedings},
editor = {Claudio Di Ciccio and Remco M. Dijkman and Adela del-Río-Ortega and Stefanie Rinderle-Ma},
volume = {13420},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-16103-2},
}