TY  - BOOK
AU  - Baier,Christel
AU  - Katoen,Joost-Pieter
TI  - Principles of model checking
SN  - 9780262026499 (hardcover : alk. paper)
U1  - 51 
PY  - 2012///
CY  - Cambridge, Mass.
PB  - The MIT Press
KW  - Computer systems
KW  - Verification
KW  - Computer software
UR  - http://www.loc.gov/catdir/toc/ecip0727/2007037603.html
ER  -