TY  - RPRT
TI  - Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY
AU  - Nadeem Akhtar
PY  - 2015
UR  - https://arxiv.org/abs/1501.05120
ID  - 1501.05120
ER  -