TY  - GEN
AU  - Clarke, Edmund M. (Editor)
AU  - Henzinger, Thomas A. (Editor)
AU  - Veith,  Helmut (Editor)
AU  - Bloem,  Roderick (Editor)
TI  - Handbook of model checking
SN  - 9783319105741
U1  - 004.24 CLA/H 
PY  - 2018///
CY  - Switzerland
PB  - Springer
KW  - Hardware performance and reliability
KW  - Security science and technology
ER  -