000 00352nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a0792396529
082 _a512.324 M663
100 _aMINATO,S
245 0 _aBINARY DECISION DIAGRAMS AND APPLICATIONS FOR VLSI CAD
260 _aBOSTON
_bKluwer Academic
_c1996
300 _a25X17
942 _cBK
_2DDC
999 _c25842
_d25842