BibTeX record conf/aspdac/WangZCQ18

• > Home > conf/aspdac/WangZCQ18

@inproceedings{DBLP:conf/aspdac/WangZCQ18,
  author       = {Xueyan Wang and
                  Qiang Zhou and
                  Yici Cai and
                  Gang Qu},
  editor       = {Youngsoo Shin},
  title        = {A conflict-free approach for parallelizing SAT-based de-camouflaging
                  attacks},
  booktitle    = {23rd Asia and South Pacific Design Automation Conference, {ASP-DAC}
                  2018, Jeju, Korea (South), January 22-25, 2018},
  pages        = {259--264},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ASPDAC.2018.8297315},
  doi          = {10.1109/ASPDAC.2018.8297315},
  timestamp    = {Tue, 14 Dec 2021 14:34:39 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/WangZCQ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}