×
  • Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

    Piergiorgio Bertoli Marco Bozzano (auth.) Stefan Edelkamp Alessio Lomuscio (eds.)

Click on cover to enlarge.
4 - 5Hours to read