Presentations

Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems

Francesco Belardinelli, Alessio Lomuscio

You are not currently permitted to view this paper. If you have an account for this conference website, you may need to log in to view content.