Model Checking and Artificial Intelligence [Risorsa elettronica] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540741282
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4428