BibTeX record: conf/iccd/ChavanCIKZ95

download as .bib file

@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 = {1995 International Conference on Computer Design {(ICCD} '95), {VLSI}
               in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
  year      = {1995},
  pages     = {85},
  crossref  = {DBLP:conf/iccd/1995},
  url       = {http://computer.org/proceedings/iccd/7165/71650085abs.htm},
  timestamp = {Wed, 03 Sep 2014 06:56:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iccd/ChavanCIKZ95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  year      = {1995},
  publisher = {{IEEE} Computer Society},
  isbn      = {0-8186-7165-3},
  timestamp = {Wed, 03 Sep 2014 06:56:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iccd/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}