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

Saved in:

Bibliographic Details
Corporate Author:	MoChArt IV
Other Authors:	Edelkamp, Stefan, Lomuscio, Alessio
Format:	Book
Published:	Berlin New York Springer 2007
Series:	Lecture notes in computer science 4428 Lecture notes in computer science Lecture notes in artificial intelligence
Subjects:	Computer software > Verification > Congresses Artificial intelligence > Congresses > Verification > Congresses Computer systems > Congresses > Congresses > Verification
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet