TY  - RPRT
TI  - Modeling and Verification of a Multi-Agent Argumentation System using NuSMV
AU  - Supriya D'Souza
AU  - Abhishek Rao
AU  - Amit Sharma
AU  - Sanjay Singh
PY  - 2012
UR  - https://arxiv.org/abs/1209.4330
ID  - 1209.4330
ER  -