Towards formal analysis of artifact-centric business process models

Kamal Bhattacharya, Cagdas Gerede, Richard Hull, Rong Liu, Jianwen Su

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

217 Scopus citations

Fingerprint

Dive into the research topics of 'Towards formal analysis of artifact-centric business process models'. Together they form a unique fingerprint.

Computer Science