74
Voted
ARGMAS
2008
Springer
14 years 10 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...