TY  - BOOK
AU  - CHRISTEL BAIER 
TI  - PRINCIPLES OF MODEL CHECKING
SN  - 9780262026499
U1  - 004.24 
CY  - USA
PB  - MIT PRESS
ER  -