BibTeX record conf/dac/AagaardJKKS00

download as .bib file

@inproceedings{DBLP:conf/dac/AagaardJKKS00,
  author    = {Mark Aagaard and
               Robert B. Jones and
               Roope Kaivola and
               Katherine R. Kohatsu and
               Carl{-}Johan H. Seger},
  title     = {Formal verification of iterative algorithms in microprocessors},
  booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
               CA, USA, June 5-9, 2000.},
  pages     = {201--206},
  year      = {2000},
  crossref  = {DBLP:conf/dac/2000},
  url       = {https://doi.org/10.1145/337292.337388},
  doi       = {10.1145/337292.337388},
  timestamp = {Tue, 06 Nov 2018 16:58:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/AagaardJKKS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2000,
  editor    = {Giovanni De Micheli},
  title     = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
               CA, USA, June 5-9, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=337292},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI