BibTeX record conf/iccad/AagaardS95

download as .bib file

@inproceedings{DBLP:conf/iccad/AagaardS95,
  author    = {Mark Aagaard and
               Carl{-}Johan H. Seger},
  title     = {The formal verification of a pipelined double-precision {IEEE} floating-point
               multiplier},
  booktitle = {Proceedings of the 1995 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1995, San Jose, California, USA, November 5-9, 1995},
  pages     = {7--10},
  year      = {1995},
  crossref  = {DBLP:conf/iccad/1995},
  url       = {https://doi.org/10.1109/ICCAD.1995.479878},
  doi       = {10.1109/ICCAD.1995.479878},
  timestamp = {Mon, 26 Nov 2018 17:05:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/AagaardS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/1995,
  editor    = {Richard L. Rudell},
  title     = {Proceedings of the 1995 {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 1995, San Jose, California, USA, November 5-9, 1995},
  publisher = {{IEEE} Computer Society / {ACM}},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3472},
  isbn      = {0-8186-7213-7},
  timestamp = {Thu, 30 Apr 2015 18:34:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI