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]
Abstract is missing.