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

 - Germany  Springer  2010 
<br/><br/><label>ISBN: </label>978-1-4419-6984-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science<br/>Specification and Verification of Multi-agent Systems