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 (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