Paolo Felli, Massimiliano de Leoni, Marco Montali. Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions. Fundamenta Informaticae, 182(1):1-29, 2021. [doi]
@article{FelliLM21,
title = {Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions},
author = {Paolo Felli and Massimiliano de Leoni and Marco Montali},
year = {2021},
doi = {10.3233/FI-2021-2064},
url = {https://doi.org/10.3233/FI-2021-2064},
researchr = {https://researchr.org/publication/FelliLM21},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {182},
number = {1},
pages = {1-29},
}