GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bruno Mermet, Gaële Simon. GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, editors, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1. pages 505-512, IFAAMAS, 2009. [doi]

This author has not been identified. Look up 'Bruno Mermet' in GoogleThis author has not been identified. Look up 'Gaële Simon' in Google

runs on WebDSL