000 00224nam a2200097Ia 4500
008 230907s9999||||xx |||||||||||||| ||und||
082 _a4.21
_bHAN
245 0 _aHandbook of model checking /
300 _a1210 p.
942 _cBK
999 _c599281
_d599281