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

• Authors:

• Stefan Edelkamp;Alessio Lomuscio

• Affiliations:

• -;-

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