On the Formal Specification and Verification of Multi-Agent Systems. In: (1997)

by M Fisher, M Wooldridge
Venue:special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems,