BibTeX record conf/eurodac/SchneiderKK94

• > Home > conf/eurodac/SchneiderKK94

@inproceedings{DBLP:conf/eurodac/SchneiderKK94,
  author       = {Klaus Schneider and
                  Thomas Kropf and
                  Ramayya Kumar},
  editor       = {Robert Werner},
  title        = {Control Path Oriented Verification of Sequential Generic Circuits
                  with Control and Data Path},
  booktitle    = {{EDAC} - The European Conference on Design Automation, {ETC} - European
                  Test Conference, {EUROASIC} - The European Event in {ASIC} Design,
                  Proceedings, February 28 - March 3, 1994, Paris, France},
  pages        = {648--652},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/EDTC.1994.326809},
  doi          = {10.1109/EDTC.1994.326809},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eurodac/SchneiderKK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}