IR
Anthology
Community
Montserrat
Estañol
2014
doi
dblp
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