Towards Formal Analysis of Artifact-Centric Business Process Models

Cite this paper

@inproceedings{Bhattacharya2007TowardsFA, title={Towards Formal Analysis of Artifact-Centric Business Process Models}, author={Kamal Bhattacharya and Cagdas Evren Gerede and Richard Hull and Rong Liu and Jianwen Su}, booktitle={BPM}, year={2007} }