Abstraction Refinement For Large Scale Model Checking
In stock
SKU
BK 0033397
| ISBN10 | 387341552 |
| ISBN13 | 9780387341552 |
| Binding | PAPERBACK |
| Author | WANG |
| Language | ENGLISH |
| Publisher | SPRINGER VERLAG |
| Country of Origin | India |
12024.00
Share Abstraction Refinement For Large Scale Model Checking on
