Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions
- Author:
-
Source:
22nd IEEE International Conference on Business Informatics (CBI 2020). DOI: 10.1109/CBI49978.2020.00027
- Date: 15.07.2020