TY  - BOOK
AU  - Clarke,Edmund M.
AU  - Grumberg, Orna.
AU  - Kroening, Daniel.
TI  - Model checking 
T2  - The cyber-physical systems series
SN  - 9780262038836 (hardcover : alk. paper)
AV  - QA76.76.V47 C553 2018
U1  - 004.21 C551M2 23
PY  - 2018///
CY  - Cambridge
PB  - The MIT Press
KW  - Computer systems
KW  - Verification
N1  - Includes bibliographical references and index
ER  -