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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Dastani, Mehdi., Hindriks, Koen V., Meyer, John-Jules Charles.
Format: Electronic
Language: English
Published: Boston, MA : Springer US, 2010.
Subjects:
Online Access: http://dx.doi.org/10.1007/978-1-4419-6984-2
Tags: Add Tag
No Tags, Be the first to tag this record!