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