![Cover image for Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers Cover image for Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Author:
Edelkamp, Stefan. editor.
ISBN:
9783540741282
Physical Description:
IX, 185 p. Also available online. online resource.
Series:
Lecture Notes in Computer Science, 4428
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 4428
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-74128-2Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 187063-2001 | ONLINE | Searching... | Searching... |