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: Unknown
Published: Berlin New York Springer 2007
Series:Lecture notes in computer science 4428
Lecture notes in computer science Lecture notes in artificial intelligence
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!