000 00371nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a0471704492
082 _a621.381548 Y54
100 _aYOELI, M
245 0 _aVERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS,PETRI NETS, AND CCS
260 _aHOBOKEN
_bWiley
_c2008
300 _axv+231p.,23X15Cms
942 _cBK
_2DDC
999 _c35496
_d35496