TY  - GEN
AU  - Dunin-Keplicz, Barbara
AU  - Verbrugge, Rineke
TI  - Team work in multi-agent systems: a formal approach
T2  - Wiley series in agent technology
SN  - 9780470699881
PY  - 2010///
CY  - Chichester
PB  - John Wiley
KW  - Intelligent agents(computer software)
KW  - Formal methods(computer science)
KW  - Artificial intelligence
ER  -