"Model Checking Unbounded Artifact-Centric Systems."

Alessio Lomuscio, Jakub Michaliszyn (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics