|
Number of items: 4.
Bordini, R.H. and Fisher, M. and Pardavila, C. and Visser, W. and Wooldridge, M.
(2003)
Model Checking Multi-AGent Programs with CASP.
In:
Proceedings of the Fifteenth Computer-Aided Verification Conference (CAV-2003).
, Boulder, Colorado.
Bordini, R. and Fisher, M. and Visser, W. and Wooldridge, M.
(2004)
State-Space Reduction Techniques in Agent Verification.
In:
The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems.
.
Bordini, R.H. and Fisher, M. and Visser, W. and Wooldridge, M.
(2004)
State-Space Reduction Techniques in Agent Verification.
In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.
Bordini, R. and Fisher, M. and Visser, W. and Wooldridge, M.
(2004)
State-space reduction techniques in agent verification.
Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems.
, New York.
This list was generated on Mon Sep 10 16:57:09 BST 2007.
|
