![Cover image for Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers Cover image for Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Author:
Meyden, Ron. editor.
ISBN:
9783642206740
Physical Description:
XI, 131p. online resource.
Series:
Lecture Notes in Computer Science, 6572
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 6572
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-20674-0Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 194449-2001 | ONLINE | Searching... | Searching... |