Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /

Bibliographic Details
Corporate Author:	MoChArt IV Riva, Italy
Other Authors:	Edelkamp, Stefan, Lomuscio, Alessio
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2007]
Series:	LNCS sublibrary. Artificial intelligence. Lecture notes in computer science ; 4428. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Computer software > Verification > Congresses. Artificial intelligence > Congresses. Computer systems > Congresses.
Online Access:	Connect to the full text of this electronic book