Model Checking Unbounded Artifact-Centric Systems.

Alessio Lomuscio, Jakub Michaliszyn

Browse the full KR paper archive.