Search Results
Showing Item 4 of 5
PreviousNext
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
E-book
Electronic resources
Record details
- ISBN: 9783642004315
-
Physical Description:
electronic
electronic resource
access
remote
online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Search for related items by subject
Search for related items by series
Search Results
Showing Item 4 of 5
PreviousNext