BibTeX record conf/glvlsi/ZhouSCCL95

download as .bib file

@inproceedings{DBLP:conf/glvlsi/ZhouSCCL95,
  author       = {Zijian Zhou and
                  Xiaoyu Song and
                  Francisco Corella and
                  Eduard Cerny and
                  Michel Langevin},
  title        = {Partitioning transition relations efficiently and automatically},
  booktitle    = {5th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '95), March 16-18,
                  1995, The State University of New York at Buffalo, {USA}},
  pages        = {106--111},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/GLSV.1995.516034},
  doi          = {10.1109/GLSV.1995.516034},
  timestamp    = {Mon, 18 Dec 2023 08:07:30 +0100},
  biburl       = {https://dblp.org/rec/conf/glvlsi/ZhouSCCL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics