Efficient Verification of Process Models Supporting Modifications of Data Values

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]

Possibly Related Publications

The following publications are possibly variants of this publication: