Automatic Verification of Data-Centric Business Processes

Cite this paper

@inproceedings{Damaggio2009AutomaticVO, title={Automatic Verification of Data-Centric Business Processes}, author={Elio Damaggio and Alin Deutsch and Richard Hull and Victor Vianu}, booktitle={BPM}, year={2009} }