TY  - RPRT
TI  - A Formal Approach for Agent Based Large Concurrent Intelligent Systems
AU  - Ankit Chaudhary
AU  - Jagdish L. Raheja
PY  - 2011
UR  - https://arxiv.org/abs/1111.0870
ID  - 1111.0870
ER  -