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