Verifying GSM-Based Business Artifacts.

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio

Browse the full ICWS paper archive.