Specification and Verification of Multi-agent Systems
by:
Mehdi Dastani
·
Koen V. Hindriks
·
John-Jules Meyer
Hardcover
details (
United States
).
ISBN: 978-1-4419-6983-5
ISBN-10: 1-4419-6983-7
Springer
· 2010