Sign in

Automatic Verification of Data-Centric Business Processes.

Elio DamaggioAlin DeutschRichard HullVictor Vianu
Published in: BPM (2011)
Keyphrases