Analyzing and Predicting Verification of Data-Aware Process Models-A Case Study With Spectrum Auctions. - Elaheh Ordoni; Jakob Bach; Ann-Katrin Fleck (IEEE Access, 2022)

Auction Verification. - Elaheh Ordoni; Jakob Bach; Ann-Katrin Fleck (UCI Machine Learning Repository, 2022)