TY  - BOOK
AU  - Clarke,E.M.
AU  - Grumberg,Orna
AU  - Peled,Doron A.
TI  - Model checking 
SN  - 0585385580
U1  - 004.21 C55M 23
PY  - 1999///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Computer systems
KW  - Verification
KW  - COMPUTERS
KW  - Software Development & Engineering
KW  - Systems Analysis & Design
KW  - bisacsh
KW  - fast
KW  - Computersystemen
KW  - gtt
KW  - Modellen (theorie)
KW  - Verificatie
KW  - Electronic books
N1  - Includes bibliographical references (pages 297-307) and index; Modeling systems --; Trmporal logics --; Model checking --; Binary decision diagram --; Symbolic model checking --; Model checking for the u-calculus --; Model checking in practice --; Model checking and automata theory --; Partial order reduction --; Equivalences and preorders between structures --; Compositional reasoning --; Abstraction --; Symmetry --; Infinite families of finite-state systems --; Discrete real-time and quantitative temporal analysis --; Continuous real time
UR  - http://www.columbia.edu/cgi-bin/cul/resolve?clio4245568
ER  -