BibTeX record conf/vlsi/PlassanPMSB16

download as .bib file

  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
  booktitle = {VLSI-SoC (Selected Papers)},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {508},
  pages     = {108--129},
  publisher = {Springer},
  year      = {2016}
a service of Schloss Dagstuhl - Leibniz Center for Informatics