All authors
/ Author
Clarke Jr., Edmund M.
Model Checking, second edition (Cyber Physical Systems Series)
[Hardcover]