OL37385151M
Model Checking and Artificial Intelligence
Stefan Edelkamp
- Publisher
- Springer London, Limited
- Published
- 2007
- ISBN-13
- 9783540741282
- ISBN-10
- Unavailable
- Work ID
- OL27435128W
Description
Metadata and publication details for Model Checking and Artificial Intelligence by Stefan Edelkamp.