BibTeX record conf/eurodac/BeckerBHKKMOPS90

• > Home > conf/eurodac/BeckerBHKKMOPS90

@inproceedings{DBLP:conf/eurodac/BeckerBHKKMOPS90,
  author       = {Bernd Becker and
                  Thomas Burch and
                  G{\"{u}}nter Hotz and
                  D. Kiel and
                  Reiner Kolla and
                  Paul Molitor and
                  Hans{-}Georg Osthof and
                  Gisela Pitsch and
                  Uwe Sparmann},
  editor       = {Gordon Adshead and
                  Jochen A. G. Jess},
  title        = {A graphical system for hierarchical specifications and checkups of
                  {VLSI} circuits},
  booktitle    = {European Design Automation Conference, {EURO-DAC} 1990, Glasgow, Scotland,
                  UK, March 12-15, 1990},
  pages        = {174--179},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/EDAC.1990.136640},
  doi          = {10.1109/EDAC.1990.136640},
  timestamp    = {Tue, 21 Mar 2023 21:01:24 +0100},
  biburl       = {https://dblp.org/rec/conf/eurodac/BeckerBHKKMOPS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}