Verifiable UML Artifact-Centric Business Process Models
Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente
- Anthology ID:
- DBLP:conf/cikm/CalvaneseMET14
- Volume:
- Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3-7, 2014
- Year:
- 2014
- Venue:
- cikm_conference
- Publisher:
- ACM
- Pages:
- 1289–1298
- URL:
- https://doi.org/10.1145/2661829.2662050
- DOI:
- 10.1145/2661829.2662050
- DBLP:
- conf/cikm/CalvaneseMET14
