Specification and verification of multi-agent systems / Ed. M. Dastani, 2010. - XVII, 405 p. - Текст : непосредственный.
Languages, methodologies, and development tools for multi-agent systems : second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009: revised selected papers / ed. M. Dastani, 2010 r=on-line. - Текст : электронный.
Languages, methodologies and development tools for multi-agent systems : first International workshop, LADS 2007, Durham, UK, September 4-6, 2007: revised selected papers / ed. M. Dastani, 2008 r=on-line. - Текст : электронный.
Programming multi-agent systems : 5th international workshop, ProMAS 2007 Honolulu, Hi, USA, May 15, 2007: revised and invited papers / eds. M. Dastani [et al.], 2008 r=on-line. - Текст : электронный.
Specification and verification of multi-agent systems / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.