Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - MoChArt IV (2007 : Riva, Italy); Edelkamp, Stefan; Lomuscio, Alessio; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer systems -- Verification -- Congresses; Computer software -- Verification -- Congresses; Artificial intelligence -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering