Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researche...
|Corporate Author:||SpringerLink (Online service)|
|Other Authors:||Dastani, Mehdi., Hindriks, Koen V., Meyer, John-Jules Charles.|
Boston, MA :
No Tags, Be the first to tag this record!