BibTeX record conf/eurodac/BreuerKMSM96

• > Home > conf/eurodac/BreuerKMSM96

@inproceedings{DBLP:conf/eurodac/BreuerKMSM96,
  author       = {Peter T. Breuer and
                  Carlos Delgado Kloos and
                  Natividad Mart{\'{\i}}nez Madrid and
                  Luis S{\'{a}}nchez and
                  Andr{\'{e}}s Mar{\'{\i}}n},
  editor       = {Graham Symonds and
                  Wolfgang Nebel},
  title        = {A refinement calculus for {VHDL}},
  booktitle    = {Proceedings of the conference on European design automation, {EURO-DAC}
                  '96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
  pages        = {482--487},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1996},
  url          = {https://doi.org/10.1109/EURDAC.1996.558247},
  doi          = {10.1109/EURDAC.1996.558247},
  timestamp    = {Mon, 05 Aug 2024 08:29:03 +0200},
  biburl       = {https://dblp.org/rec/conf/eurodac/BreuerKMSM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}