TY  - BOOK
AU  - Baier, Christel
AU  - Katoen, Joost-Pieter
TI  - Principles of model checking
SN  - 9780262026499
SN  - 200703760
U1  - 004.24 BAI 
PY  - 2008///
CY  - Cambridge, MA
PB  - The MIT Press
KW  - Computer software - Verification
KW  - Computer systems - Verification
N1  - Includes bibliographical references (p. 931-964) and index
ER  -