88
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
We present a software system for evaluating ‘dynamic’ protocol specifications for open multi-agent systems, that is, specifications that are developed at design-time but may...