Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /
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: | |
Online Access: | Connect to the full text of this electronic book |