DMCA

Verification of relational data-centric dynamic systems with external services (2013)

by Babak Bagheri Hariri , Diego Calvanese , Marco Montali , Giuseppe De Giacomo , Alin Deutsch
Citations:50 - 19 self