Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , |
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!
|