Sciweavers

DALT
2005
Springer

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

14 years 3 months ago
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where DALT
Authors Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer
Comments (0)