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},
  pages     = {85--94},
  year      = {1995},
  crossref  = {DBLP:conf/iccd/1995},
  url       = {http://dx.doi.org/10.1109/ICCD.1995.528795},
  doi       = {10.1109/ICCD.1995.528795},
  timestamp = {Mon, 22 Sep 2014 16:50:10 +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},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4053},
  isbn      = {0-8186-7165-3},
  timestamp = {Mon, 22 Sep 2014 16:50:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iccd/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}