TY  - BOOK
AU  - Clarke M edmund,Grumberg Orna, Pale A Doron
TI  - Model Checking 
SN  - 9780262032704
U1  - 004.21 
PY  - 1999///
CY  - London
PB  - The MIT Press
ER  -