TY - BOOK AU - Milne, G. AU - Subramanyam, P A., ed ED - Milne, G., ed TI - Formal aspects of VLSI design SN - 0444700269 U1 - 621.395 PY - 1986/// CY - Amsterdam PB - North - Holland ER -