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