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
Specification and Verification of Multi-agent Systems - New York Springer US 2010
978-1-4419-6984-2
Computer Science
