TY  - RPRT
TI  - Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System
AU  - Nadeem Akhtar
AU  - Aisha Shafique Ghori
AU  - Nadeem Salamat
PY  - 2015
UR  - https://arxiv.org/abs/1501.01273
ID  - 1501.01273
ER  -