TY  - RPRT
TI  - An Approach to Model Checking of Multi-agent Data Analysis
AU  - Natalia Garanina
AU  - Eugene Bodin
AU  - Elena Sidorova
PY  - 2014
DO  - 10.4204/eptcs.168.3
UR  - https://arxiv.org/abs/1411.3792
ID  - 1411.3792
ER  -