TY  - RPRT
TI  - Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
AU  - Nadeem Akhtar
AU  - Malik M. Saad Missen
PY  - 2015
UR  - https://arxiv.org/abs/1604.05577
ID  - 1604.05577
ER  -