Francesco Belardinelli. Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 717-724, IFAAMAS/ACM, 2014. [doi]
@inproceedings{Belardinelli14-1,
title = {Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction},
author = {Francesco Belardinelli},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615847},
researchr = {https://researchr.org/publication/Belardinelli14-1},
cites = {0},
citedby = {0},
pages = {717-724},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014},
editor = {Ana L. C. Bazzan and Michael N. Huhns and Alessio Lomuscio and Paul Scerri},
publisher = {IFAAMAS/ACM},
isbn = {978-1-4503-2738-1},
}