TY  - BOOK
AU  - 
AU  - Verbrugge,Rineke
TI  - Teamwork in multi-agent systems: a formal approach 
T2  - Wiley series in agent technology
SN  - 9780470699881
AV  - QA76.76.I58  .D86 2010
PY  - 2010///
CY  - Hoboken, NJ
PB  - John Wiley
KW  - Intelligent agents (Computer software)
KW  - Formal methods (Computer science)
KW  - Artificial intelligence
ER  -