Skip to content

Automatic Verification of Data-Centric Business Processes.

Elio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu

VenueABPM
Year2011
ProceedingsBPM

Browse the full BPM paper archive.