Document Preview Unavailable

Verification of Relational Data-Centric Dynamic Systems with External Services

Babak Bagheri Hariri; Calvanese, Diego; De Giacomo, Giuseppe; Deutsch, Alin; Montali, Marco.  arXiv.org, Feb 29, 2012.

You might have access to this document