000 00338nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a0262032708
082 _a621.38195 C597
100 _aCLARKE ,E.M. & OTHERS
245 0 _aMODEL CHECKING
260 _aCambridge
_bMIT Press
_c1999
300 _axiv+314p.,23X18Cms.
942 _cBK
_2DDC
999 _c32806
_d32806