TY  - BOOK
AU  - Clarke,E.M.
AU  - Grumberg,Orna
AU  - Peled,Doron A.
TI  - Model checking
SN  - 0262032708 (alk. paper)
U1  - 004.21 21
PY  - 1999///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Computer systems
KW  - Verification
N1  - Includes bibliographical references (p. [297]-307) and index
ER  -