TY  - DATA
AU  - Edmund M. Clarke Jr.-Orna Grumberg-Doron Peleg
TI  - Model Checking
SN  - 9780262032704
PB  - The MIT Press
KW  -  Computer Science
KW  - Computer systems--Verification
KW  - COMPUTERS
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=27235
ER  -