search author

DBLP BibTeX Record 'conf/glvlsi/KimC99'

@inproceedings{DBLP:conf/glvlsi/KimC99,
  author    = {Sae Hwan Kim and
               Shiu-Kai Chin},
  title     = {Formal Verification of Tree-Structured Carry-Lookahead Adders},
  booktitle = {Great Lakes Symposium on VLSI},
  year      = {1999},
  pages     = {232-233},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/GLSV.1999.757419},
  crossref  = {DBLP:conf/glvlsi/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/glvlsi/1999,
  title     = {9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 4-6 March
               1999, Ann Arbor, MI, USA},
  booktitle = {Great Lakes Symposium on VLSI},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0104-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}