Book 2010

Specification and Verification of Multi-agent Systems

ISBN: 978-1-4419-6983-5 (Print) 978-1-4419-6984-2 (Online)