TY  - BOOK
AU  - Dunin-Kȩplicz,Barbara
AU  - Verbrugge,Rineke
TI  - Teamwork in multi-agent systems: a formal approach 
SN  - 9780470699881
PY  - 2010///
CY  - Hoboken, N. J.
PB  - John Wiley
KW  - Intelligent agents (Computer software)
KW  - Formal methods (Computer science)
KW  - Artificial intelligence
N1  - Includes bibliographical references and index
ER  -