TY - BOOK AU - Minato,Shin-ichi TI - Binary decision diagrams and applications for VLSI CAD T2 - The Kluwer international series in engineering and computer science/ Allen,Jonathan SN - 0792396529 PY - 1996/// CY - Boston PB - Kluwer Academic Publishers KW - VLSI CAD ER -