TY  - RPRT
TI  - Verification of Artifact-Centric Systems: Decidability and Modeling Issues
AU  - Dmitry Solomakhin
AU  - Marco Montali
AU  - Sergio Tessaris
AU  - Riccardo De Masellis
PY  - 2013
UR  - https://arxiv.org/abs/1304.1697
ID  - 1304.1697
ER  -