Míreanna comhchosúla: Specification and Verification of Multi-agent Systems /

Údar: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer