![Model Checking, second edition (Cyber Physical Systems Series): Clarke Jr., Edmund M., Grumberg, Orna, Kroening, Daniel, Peled, Doron, Veith, Helmut: 9780262038836: Amazon.com: Books Model Checking, second edition (Cyber Physical Systems Series): Clarke Jr., Edmund M., Grumberg, Orna, Kroening, Daniel, Peled, Doron, Veith, Helmut: 9780262038836: Amazon.com: Books](https://m.media-amazon.com/images/I/81rbVo7phIL._AC_UF1000,1000_QL80_.jpg)
Model Checking, second edition (Cyber Physical Systems Series): Clarke Jr., Edmund M., Grumberg, Orna, Kroening, Daniel, Peled, Doron, Veith, Helmut: 9780262038836: Amazon.com: Books
![Handbook of Model Checking: Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick: 9783319105741: Amazon.com: Books Handbook of Model Checking: Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick: 9783319105741: Amazon.com: Books](https://m.media-amazon.com/images/I/41QKKJEF76L._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Handbook of Model Checking: Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick: 9783319105741: Amazon.com: Books
![A Model Discipline: Political Science and the Logic of Representations: Clarke, Kevin A., Primo, David M.: 9780195382204: Amazon.com: Books A Model Discipline: Political Science and the Logic of Representations: Clarke, Kevin A., Primo, David M.: 9780195382204: Amazon.com: Books](https://m.media-amazon.com/images/I/512IVHAvBOL._AC_UF1000,1000_QL80_.jpg)
A Model Discipline: Political Science and the Logic of Representations: Clarke, Kevin A., Primo, David M.: 9780195382204: Amazon.com: Books
![Handbook of Model Checking: Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick: 9783319105741: Amazon.com: Books Handbook of Model Checking: Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick: 9783319105741: Amazon.com: Books](https://m.media-amazon.com/images/I/61fVXsf14AL._AC_UF1000,1000_QL80_.jpg)
Handbook of Model Checking: Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick: 9783319105741: Amazon.com: Books
![Model Checking, second edition (Cyber Physical Systems Series): Clarke Jr., Edmund M., Grumberg, Orna, Kroening, Daniel, Peled, Doron, Veith, Helmut: 9780262038836: Amazon.com: Books Model Checking, second edition (Cyber Physical Systems Series): Clarke Jr., Edmund M., Grumberg, Orna, Kroening, Daniel, Peled, Doron, Veith, Helmut: 9780262038836: Amazon.com: Books](https://m.media-amazon.com/images/I/51bKknktMVL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_PIStarRatingFOURANDHALF%2CBottomLeft%2C360%2C-6_SR600%2C315_ZA5%2C445%2C290%2C400%2C400%2CAmazonEmberBold%2C12%2C4%2C0%2C0%2C5_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)