Abstraction, Refinement and Proof for Probabilistic Systems (EXPLORATION OF THE DEEP CONTINENTAL CRUST)
| Full Title: | Abstraction, Refinement and Proof for Probabilistic Systems (EXPLORATION OF THE DEEP CONTINENTAL CRUST) |
|---|---|
| ISBN: | 0387516093 |
| ISBN13: | 9780387516097 |
| List Price: | USD $159.00 |
| Authors: |
Fuchs, K., Kozlovsky, Ye. A., Krivtsov, A. I., Zoback, M.D. (eds.) |
