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