TY - BOOK AU - Minato, Shin-ichi TI - Binary decision diagrams and applications for VLSI CAD SN - 9780792396529 U1 - 621.3950285573 MIN PY - 1996/// CY - Dordrecht ; Boston PB - Kluwer Academic Publishers KW - Computer-aided design ER -