Dunin-Kȩplicz, Barbara <br/><br/>
Teamwork in multi-agent systems :  a formal approach / 
Barbara Dunin-Keplicz, Rineke Verbrugge 
 - Hoboken, N. J. :  John Wiley,  c2010 
 - xix, 224 p. :  ill. ;  25 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780470699881 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Intelligent agents (Computer software)<br/>Formal methods (Computer science)<br/>Artificial intelligence