129
Voted
ARGMAS
2008
Springer
15 years 5 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...