DMCA

Verifiable UML Artifact-Centric Business Process Models

by Diego Calvanese , Marco Montali , Montserrat Estañol , Ernest Teniente