Specification and Verification of Multi-agent Systems

Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer

Specification and Verification of Multi-agent Systems - New York Springer US 2010

978-1-4419-6984-2


Computer Science

© For any Suggestions or Query, please contact the library staff @ librarian@pes.edu or Phone: +9180 2672 1983/ 2108.