DBLP Record 'conf/eurodac/NaganumaOH94'

BibTeX

@inproceedings{DBLP:conf/eurodac/NaganumaOH94,
  author    = {Jiro Naganuma and
               Takeshi Ogura and
               Tamio Hoshino},
  title     = {High-Level Design Validation Using Algorithmic Debugging},
  booktitle = {EDAC-ETC-EUROASIC},
  year      = {1994},
  pages     = {474-480},
  crossref  = {DBLP:conf/eurodac/1994edac},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/eurodac/1994edac,
  editor    = {Robert Werner},
  title     = {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},
  booktitle = {EDAC-ETC-EUROASIC},
  publisher = {IEEE Computer Society},
  year      = {1994},
  isbn      = {0-8186-5410-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}