Verification of Artifact-Centric Systems: Decidability and Modeling Issues.

Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis

Browse the full ICSOC paper archive.