BibTeX record conf/dac/SchwarzSMSSK19

download as .bib file

@inproceedings{DBLP:conf/dac/SchwarzSMSSK19,
  author       = {Michael Schwarz and
                  Raphael Stahl and
                  Daniel M{\"{u}}ller{-}Gritschneder and
                  Ulf Schlichtmann and
                  Dominik Stoffel and
                  Wolfgang Kunz},
  title        = {{ACCESS:} {HW/SW} Co-Equivalence Checking for Firmware Optimization},
  booktitle    = {Proceedings of the 56th Annual Design Automation Conference 2019,
                  {DAC} 2019, Las Vegas, NV, USA, June 02-06, 2019},
  pages        = {187},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3316781.3317756},
  doi          = {10.1145/3316781.3317756},
  timestamp    = {Fri, 21 Oct 2022 08:45:10 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/SchwarzSMSSK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}