TY  - RPRT
TI  - Verification of Relational Data-Centric Dynamic Systems with External Services
AU  - Babak Bagheri Hariri
AU  - Diego Calvanese
AU  - Giuseppe De Giacomo
AU  - Alin Deutsch
AU  - Marco Montali
PY  - 2012
UR  - https://arxiv.org/abs/1203.0024
ID  - 1203.0024
ER  -