Montserrat Estañol
2014
Verifiable UML Artifact-Centric Business Process Models
Diego Calvanese
|
Marco Montali
|
Montserrat Estañol
|
Ernest Teniente
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3-7, 2014