Hind Fadil Jean-Luc Koning Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents. 33-52 2008 13 Ingénierie des Systèmes d'Information 2 http://dx.doi.org/10.3166/isi.13.2.33-52 db/journals/isi/isi13.html#FadilK08