Analyzing and Predicting Verification of Data-Aware Process Models—A Case Study With Spectrum Auctions
-
Author:
Elaheh Ordoni, Jakob Bach, Ann-Katrin Fleck
-
Source:
IEEE Access (2022). DOI: 10.1109/ACCESS.2022.3154445
- Date: 24.02.2022