BibTeX record conf/eurodac/NguyenTDTV94

download as .bib file

@inproceedings{DBLP:conf/eurodac/NguyenTDTV94,
  author       = {Huy Nam Nguyen and
                  J. P. Tual and
                  L. Ducousso and
                  Michel Thill and
                  P. Vallet},
  editor       = {Robert Werner},
  title        = {Logic Synthesis and Verification of the {CPU} and Caches of a Mainframe
                  System},
  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        = {60--64},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/EDTC.1994.326898},
  doi          = {10.1109/EDTC.1994.326898},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/eurodac/NguyenTDTV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics