Orna Grumberg Edmund M. Clarke books & textbook
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M. Grumberg, Orna Kroening, Daniel Peled, Doron Veith, Helmut
The MIT Press /2018-12-04 Hardcover / 424 Pages
isbn-10: 0262038838 / isbn-13: 9780262038836
Model Checking
Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled
Mit Pr /1999-01-07 Hardcover / 330 Pages
isbn-10: 0262032708 / isbn-13: 9780262032704
Model Checking by Edmund Clarke (4-Feb-2000) Hardcover
Orna Grumberg Edmund M. Clarke
The MIT Press / Hardcover
