BibTeX record conf/dac/BeckerHKMO87

download as .bib file

@inproceedings{DBLP:conf/dac/BeckerHKMO87,
  author       = {Bernd Becker and
                  G{\"{u}}nter Hotz and
                  Reiner Kolla and
                  Paul Molitor and
                  Hans{-}Georg Osthof},
  editor       = {A. O'Neill and
                  D. Thomas},
  title        = {Hierarchical Design Based on a Calculus of Nets},
  booktitle    = {Proceedings of the 24th {ACM/IEEE} Design Automation Conference. Miami
                  Beach, FL, USA, June 28 - July 1, 1987},
  pages        = {649--653},
  publisher    = {{IEEE} Computer Society Press / {ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/37888.37992},
  doi          = {10.1145/37888.37992},
  timestamp    = {Tue, 21 Mar 2023 20:58:33 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BeckerHKMO87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics