The book is currently out of stock
Parameters
Book purchase
Liveness checking as safety checking to find shortest counterexamples to linear time properties, Viktor Schuppan
- Language
- Released
- 2006
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
No one has rated yet.