Books

Specification and Verification of Multi-agent Systems Specification and Verification of Multi-agent Systems
2010
Programming Multi-Agent Systems Programming Multi-Agent Systems
2009
Cooperative Information Agents XI Cooperative Information Agents XI
2007