TY  - BOOK
AU  - Clarke, Edmund M.
AU  - Grumberg, Orna.
AU  - Peled. Doron A.,
TI  - Model Checking
SN  - 02 62 032708
CY  - Cambridge
KW  - Computer Systems - Verification
ER  -