TY  - RPRT
TI  - Verification of Agent-Based Artifact Systems
AU  - Francesco Belardinelli
AU  - Alessio Lomuscio
AU  - Fabio Patrizi
PY  - 2013
UR  - https://arxiv.org/abs/1301.2678
ID  - 1301.2678
ER  -