BibTeX record conf/hldvt/NguyenH12

download as .bib file

@inproceedings{DBLP:conf/hldvt/NguyenH12,
  author    = {Huy Nguyen and
               Michael S. Hsiao},
  title     = {Sequential equivalence checking of hard instances with targeted inductive
               invariants and efficient filtering strategies},
  booktitle = {2012 {IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2012, Huntington Beach, CA, USA, November 9-10, 2012},
  pages     = {1--8},
  year      = {2012},
  crossref  = {DBLP:conf/hldvt/2012},
  url       = {https://doi.org/10.1109/HLDVT.2012.6418236},
  doi       = {10.1109/HLDVT.2012.6418236},
  timestamp = {Thu, 25 May 2017 00:41:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/NguyenH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hldvt/2012,
  title     = {2012 {IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2012, Huntington Beach, CA, USA, November 9-10, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6412847},
  isbn      = {978-1-4673-2897-5},
  timestamp = {Tue, 12 May 2015 17:11:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hldvt/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier