|
Type: Book Section Member Organisation: ?? ??
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.
Full text not available from this archive.
Archive Staff Only: edit this record
|
