Cagdas E. Gerede, Jianwen Su. Specification and Verification of Artifact Behaviors in Business Process Models. In Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan, editors, Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings. Volume 4749 of Lecture Notes in Computer Science, pages 181-192, Springer, 2007. [doi]
Abstract is missing.