TY  - BOOK
AU  - Clarke,Edmund M.
AU  - Grumberg,Orna
AU  - Peled,Doron A.
TI  - Model checking
SN  - 9780262032704
AV  - QA76.76.V47 C553 1999
PY  - 1999///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Computer systems
KW  - Verification
N1  - Includes bibliographical references and index
UR  - http://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=27235&site=ehost-live&scope=site
ER  -