Specification and Verification of Multi-agent Systems

Verification

by: Mehdi Dastani · Koen V. Hindriks · John-Jules Meyer

Hardcover

ISBN: 978-1-4419-6983-5

ISBN-10: 1-4419-6983-7

Springer · 2010