BibTeX record conf/vlsi/PlassanPMSB16

download as .bib file

@inproceedings{DBLP:conf/vlsi/PlassanPMSB16,
  author    = {Guillaume Plassan and
               Hans{-}J{\"{o}}rg Peter and
               Katell Morin{-}Allory and
               Shaker Sarwary and
               Dominique Borrione},
  title     = {Improving the Efficiency of Formal Verification: The Case of Clock-Domain
               Crossings},
  booktitle = {VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification
               and Reliability - 24th {IFIP} {WG} 10.5/IEEE International Conference
               on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia,
               September 26-28, 2016, Revised Selected Papers},
  pages     = {108--129},
  year      = {2016},
  crossref  = {DBLP:conf/vlsi/2016socs},
  url       = {https://doi.org/10.1007/978-3-319-67104-8\_6},
  doi       = {10.1007/978-3-319-67104-8\_6},
  timestamp = {Tue, 22 Oct 2019 15:21:19 +0200},
  biburl    = {https://dblp.org/rec/conf/vlsi/PlassanPMSB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vlsi/2016socs,
  editor    = {Thomas Hollstein and
               Jaan Raik and
               Sergei Kostin and
               Anton Tsertov and
               Ian O'Connor and
               Ricardo Reis},
  title     = {VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification
               and Reliability - 24th {IFIP} {WG} 10.5/IEEE International Conference
               on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia,
               September 26-28, 2016, Revised Selected Papers},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {508},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67104-8},
  doi       = {10.1007/978-3-319-67104-8},
  isbn      = {978-3-319-67103-1},
  timestamp = {Wed, 21 Apr 2021 17:29:27 +0200},
  biburl    = {https://dblp.org/rec/conf/vlsi/2016socs.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics