TY  - BOOK
AU  - CLARKE, E.M. : GRUMBERG, O. : PELED ,D.A.
TI  - MODEL CHECKING
SN  - 0000262032708
U1  - 005.12 
PB  - LONDON : MIT
KW  - SYSTEM ANALYSIS : SOFTWRAE ENGINEERING
ER  -