|
Number of items: 2.
Bordini, R.H. and Fisher, M. and Pardavila, C. and Wooldridge, M.
(2003)
Model Checking AgentSpeak.
In:
Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03).
, Melbourne, Australia.
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.
This list was generated on Mon Sep 10 16:53:28 BST 2007.
|
