Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer <br/><br/>
Specification and Verification of Multi-agent Systems 

 - New York  Springer US  2010 
<br/><br/><label>ISBN: </label>978-1-4419-6984-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science