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]
Abstract is missing.