Edelkamp, Stefan <br/><br/>
Model checking and artificial intelligence [electronic resource]   
by Stefan Edelkamp and Alessio Lomuscio 
 - Berlin  Heidelberg  2007 
<br/><br/> http://dx.doi.org/10.1007/978-3-540-74128-2 
<br/><br/><label>ISBN: </label>9783540741282 
<br/><br/><label>Dewey Class. No.: </label>006.3  / (e-book)