Elaheh Ordoni, Jutta A. Mülle, Klemens Böhm. Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions. In 22nd IEEE Conference on Business Informatics, CBI 2020, Antwerp, Belgium, June 22-24, 2020. Volume 1. pages 181-190, IEEE, 2020. [doi]
Abstract is missing.