/Analyzing-Auction-Verification

Code for the paper "Analyzing and Predicting Verification of Data-Aware Process Models -- a Case Study with Spectrum Auctions".

Primary LanguagePythonMIT LicenseMIT

Watchers