Type: Book Section
Member Organisation: ?? ??
Wooldridge, M. and Fisher, M. and Huget, M.P. and Parsons, S.
Model Checking Multiagent systems with MABLE.
Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02).
, Bologna, Italy.
Full text not available from this archive.
Archive Staff Only: edit this record