000 00315nam a22001337a 4500
020 _a9780262026499
082 _a004.24
_bBAI/P
100 _aBAIER, CHRISTEL
245 _aPRINCIPLES OF MODEL CHECKING
260 _aLONDON
_bMit Press
_c2008
300 _a963
_bXVII
700 _aKATOEN, JOOST PIETER
942 _cBK
999 _c35429
_d35429