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