![Cover image for Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers Cover image for Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
Author:
Peled, Doron A. editor.
ISBN:
9783642004315
Physical Description:
online resource.
Series:
Lecture Notes in Computer Science, 5348
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 5348
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-00431-5Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 189683-2001 | ONLINE | Searching... | Searching... |