Teamwork in multi-agent systems : a formal approach /
Dunin-Kȩplicz, Barbara.
Verbrugge, Rineke.
Chichester : John Wiley,
2010.
Includes bibliographical references and index.
Intelligent agents (Computer software)
Formal methods (Computer science)
Artificial intelligence.