Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction.

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio

Browse the full ICSOC paper archive.