Elaheh Ordoni, Jutta A. Mülle, Kuan Yang, Klemens Böhm. Efficient Verification of Process Models Supporting Modifications of Data Values. In 24th IEEE Conference on Business Informatics, CBI 2022 - Volume 1, Amsterdam, Netherlands, June 15-17, 2022. pages 21-30, IEEE, 2022. [doi]
@inproceedings{OrdoniMYB22,
title = {Efficient Verification of Process Models Supporting Modifications of Data Values},
author = {Elaheh Ordoni and Jutta A. Mülle and Kuan Yang and Klemens Böhm},
year = {2022},
doi = {10.1109/CBI54897.2022.00010},
url = {https://doi.org/10.1109/CBI54897.2022.00010},
researchr = {https://researchr.org/publication/OrdoniMYB22},
cites = {0},
citedby = {0},
pages = {21-30},
booktitle = {24th IEEE Conference on Business Informatics, CBI 2022 - Volume 1, Amsterdam, Netherlands, June 15-17, 2022},
publisher = {IEEE},
isbn = {978-1-6654-6016-3},
}