TY  - BOOK
AU  - Clarke,E.M.,et al
ED  - Grumberg, O
ED  - Peled, D.A
TI  - Model checking
SN  - 9780262032704
U1  - 18 
PY  - 1999///
CY  - Cambridge
PB  - MIT Press
ER  -