BibTeX record conf/glvlsi/TaharZSCL96

• > Home > conf/glvlsi/TaharZSCL96

@inproceedings{DBLP:conf/glvlsi/TaharZSCL96,
  author       = {Sofi{\`{e}}ne Tahar and
                  Zijian Zhou and
                  Xiaoyu Song and
                  Eduard Cerny and
                  Michel Langevin},
  title        = {Formal Verification of an {ATM} Switch Fabric using Multiway Decision
                  Graphs},
  booktitle    = {6th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '96), March 22-23,
                  1996, Ames, IA, {USA}},
  pages        = {106--111},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/GLSV.1996.497603},
  doi          = {10.1109/GLSV.1996.497603},
  timestamp    = {Mon, 18 Dec 2023 08:07:30 +0100},
  biburl       = {https://dblp.org/rec/conf/glvlsi/TaharZSCL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}