Kamal Bhattacharya, Cagdas Evren Gerede, Richard Hull, Rong Liu, Jianwen Su. Towards Formal Analysis of Artifact-Centric Business Process Models. In Gustavo Alonso, Peter Dadam, Michael Rosemann, editors, Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings. Volume 4714 of Lecture Notes in Computer Science, pages 288-304, Springer, 2007. [doi]
Abstract is missing.