SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications.

Alessandro Gianola

Browse the full BPM paper archive.