TY  - BOOK
AU  - Baier,Christel
AU  - Katoen,Joost-Pieter
TI  - Principles of model checking
SN  - 026202649X (hardcover : alk. paper)
PY  - 2008///?]
CY  - Cambridge, Mass.
PB  - The MIT Press
KW  - Computer systems
KW  - Verification
KW  - Computer software
N1  - Includes bibliographical references (p. 931-964) and index
UR  - http://www.loc.gov/catdir/toc/ecip0727/2007037603.html
ER  -