F. Giunchiglia
Multiagent Model Checking (ZIP file)
Invited talk at
FORTE/PSTV 2000 - International
Conference on Formal Description
Techniques for Distributed Systems and
Communication Protocols, Firenze
(Italy), 10-13 October 2000 (bias
towards security protocols) and
ETAPS
Workshop on
Models and Methods of Analysis for Agent Based Systems,
Genoa, Italy, April 2001 (bias towards MultiAGent systems).
|