Formal techniques for hardware allocation

  1. Mendias, JM
  2. Hermida, R
  3. Fernandez, M
Book:
TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS

ISBN: 0-8186-7755-4

Year of publication: 1997

Pages: 161-165

Congress: 10th International Conference on VLSI Design

Type: Conference paper

DOI: 10.1109/ICVD.1997.568070 GOOGLE SCHOLAR