Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction.

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

Browse the full ICSOC paper archive.