ChavanCIKZ95'

@inproceedings{DBLP:conf/iccd/ChavanCIKZ95,
  author    = {Anand Chavan and
               Shiu-Kai Chin and
               Shahid Ikram and
               Jang Dae Kim and
               Juin-Yeu Zu},
  title     = {Extending VLSI design with higher-order logic},
  booktitle = {ICCD},
  year      = {1995},
  pages     = {85-},
  ee        = {http://computer.org/proceedings/iccd/7165/71650085abs.htm},
  crossref  = {DBLP:conf/iccd/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccd/1995,
  title     = {1995 International Conference on Computer Design (ICCD '95),
               VLSI in Computers and Processors, October 2-4, 1995, Austin,
               TX, USA, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1995},
  isbn      = {0-8186-7165-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}