An Abstraction Technique for the Verification of Artifact-Centric Systems.

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

Browse the full KR paper archive.