Verification of Deployed Artifact Systems via Data Abstraction.

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

Browse the full ICSOC paper archive.