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]

Authors

Elaheh Ordoni

This author has not been identified. Look up 'Elaheh Ordoni' in Google

Jutta A. Mülle

This author has not been identified. Look up 'Jutta A. Mülle' in Google

Kuan Yang

This author has not been identified. Look up 'Kuan Yang' in Google

Klemens Böhm

This author has not been identified. Look up 'Klemens Böhm' in Google