Wamberto W. Vasconcelos,
David Robertson,
Jaume Agustí-Cullell,
Carles Sierra,
J. Sabater-Mir,
Simon Parsons,
Chris Walton,
& Michael Wooldridge
(2002).A lifecicle for models of large multi-agent systems.M. Wooldridge, G. Weiss, & P. Ciancarini (Eds.),Lecture Notes in Computer Science(pp. 307-325).
Springer-Verlag.[BibTeX]
[PDF]
Marc-Philipe Huguet,
Marc Esteva,
Steve Phelps,
Carles Sierra,
& Michael Wooldridge
(2002).Model Checking Electronic Institutions.MoChArt 2002 at ECAI 2002(pp. 51-58).
[BibTeX]
[PDF]