Specifying and Verifying Distributed Intelligence Systems.

Michael Fisher, Michael J. Wooldridge

Browse the full EPIA paper archive.