000 00303nam a2200133Ia 4500
005 20260323114555.0
100 _aManna, Zohar
020 _a9780387944593
942 _cBK
245 _aTemporal Verification Of Reactive Systems: Safety
260 _bSpringer
082 _a4.0151
_bMAN
300 _aXVIII, 512 p.
999 _c3
_d3