TY  - GEN
AU  - Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve
TI  - Model Checking
SN  - 9780262349451
PY  - 2018///
PB  - MIT Press
ER  -