Inproceedings,
Conformance Checking with Uncertainty via SMT.
P. Felli, A. Gianola, M. Montali, A. Rivkin, and S. Winkler.BPM, volume 13420 of Lecture Notes in Computer Science, page 199-216. Springer, (2022)
Meta data
- BibTeX key
- conf/bpm/FelliGMRW22
- entry type
- inproceedings
- booktitle
- BPM
- year
- 2022
- pages
- 199-216
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 13420
- crossref
- conf/bpm/2022
- ee
- https://doi.org/10.1007/978-3-031-16103-2_15
- isbn
- 978-3-031-16103-2
- url
- http://dblp.uni-trier.de/db/conf/bpm/bpm2022.html#FelliGMRW22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/bpm/FelliGMRW22
%A Felli, Paolo
%A Gianola, Alessandro
%A Montali, Marco
%A Rivkin, Andrey
%A Winkler, Sarah
%B BPM
%D 2022
%E Ciccio, Claudio Di
%E Dijkman, Remco M.
%E del Río-Ortega, Adela
%E Rinderle-Ma, Stefanie
%I Springer
%K dblp
%P 199-216
%T Conformance Checking with Uncertainty via SMT.
%U http://dblp.uni-trier.de/db/conf/bpm/bpm2022.html#FelliGMRW22
%V 13420
%@ 978-3-031-16103-2
@inproceedings{conf/bpm/FelliGMRW22,
added-at = {2023-11-12T00: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/20f18f4ba818c63fe7a15a5632923e159/dblp},
booktitle = {BPM},
crossref = {conf/bpm/2022},
editor = {Ciccio, Claudio Di and Dijkman, Remco M. and del Río-Ortega, Adela and Rinderle-Ma, Stefanie},
ee = {https://doi.org/10.1007/978-3-031-16103-2_15},
interhash = {c309b0721da3318f5b23bd0269fb5730},
intrahash = {0f18f4ba818c63fe7a15a5632923e159},
isbn = {978-3-031-16103-2},
keywords = {dblp},
pages = {199-216},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T16:57:45.000+0200},
title = {Conformance Checking with Uncertainty via SMT.},
url = {http://dblp.uni-trier.de/db/conf/bpm/bpm2022.html#FelliGMRW22},
volume = 13420,
year = 2022
}