All authors
/ Author
Veith, Helmut
Model Checking, second edition (Cyber Physical Systems Series)
[Hardcover]