182
click to vote
DALT
2004
Springer
16 years 22 hour ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...