BeckerBHKKMOPS90'

BibTeX

@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},
  title     = {A graphical system for hierarchical specifications and checkups
               of VLSI circuits},
  booktitle = {EURO-DAC},
  year      = {1990},
  pages     = {174-179},
  ee        = {http://doi.acm.org/10.1145/949970.950009},
  crossref  = {DBLP:conf/eurodac/1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/eurodac/1990,
  editor    = {Gordon Adshead and
               Jochen A. G. Jess},
  title     = {European Design Automation Conference, EURO-DAC 1990, Glasgow,
               Scotland, UK, March 12-15, 1990},
  booktitle = {EURO-DAC},
  publisher = {IEEE Computer Society},
  year      = {1990},
  isbn      = {0-8186-2024-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}