TY  - BOOK
AU  - Clarke Edmund M
TI  - Model checking
U1  - D6,8(B), N9 
PY  - 1999///
ER  -