000 00251nam a22001217a 4500
020 _a9780262026499
082 _a004.24
100 _aCHRISTEL BAIER
245 _aPRINCIPLES OF MODEL CHECKING
260 _aUSA
_bMIT PRESS
300 _a975
942 _cBK
999 _c23246
_d23246