BibTeX record conf/glvlsi/MohamedCS98

download as .bib file

@inproceedings{DBLP:conf/glvlsi/MohamedCS98,
  author       = {Otmane A{\"{\i}}t Mohamed and
                  Eduard Cerny and
                  Xiaoyu Song},
  title        = {MDG-based Verification by Retiming and Combinational Transformations},
  booktitle    = {8th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '98), 19-21 February
                  1998, Lafayette, LA, {USA}},
  pages        = {356--361},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/GLSV.1998.665311},
  doi          = {10.1109/GLSV.1998.665311},
  timestamp    = {Fri, 24 Mar 2023 00:04:01 +0100},
  biburl       = {https://dblp.org/rec/conf/glvlsi/MohamedCS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics