BibTeX record conf/iccad/RayHFS16

• > Home > conf/iccad/RayHFS16

@inproceedings{DBLP:conf/iccad/RayHFS16,
  author       = {Sandip Ray and
                  Ian G. Harris and
                  G{\"{o}}rschwin Fey and
                  Mathias Soeken},
  editor       = {Frank Liu},
  title        = {Multilevel design understanding: from specification to logic (invited
                  paper)},
  booktitle    = {Proceedings of the 35th International Conference on Computer-Aided
                  Design, {ICCAD} 2016, Austin, TX, USA, November 7-10, 2016},
  pages        = {133},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2966986.2980093},
  doi          = {10.1145/2966986.2980093},
  timestamp    = {Fri, 23 Jun 2023 22:29:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/RayHFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}