BibTeX record conf/dac/AharonGLLMMMS95

• > Home > conf/dac/AharonGLLMMMS95

@inproceedings{DBLP:conf/dac/AharonGLLMMMS95,
  author       = {Aharon Aharon and
                  Dave Goodman and
                  Moshe Levinger and
                  Yossi Lichtenstein and
                  Yossi Malka and
                  Charlotte Metzger and
                  Moshe Molcho and
                  Gil Shurek},
  editor       = {Bryan Preas},
  title        = {Test Program Generation for Functional Verification of PowerPC Processors
                  in {IBM}},
  booktitle    = {Proceedings of the 32st Conference on Design Automation, San Francisco,
                  California, USA, Moscone Center, June 12-16, 1995},
  pages        = {279--285},
  publisher    = {{ACM} Press},
  year         = {1995},
  url          = {https://doi.org/10.1145/217474.217542},
  doi          = {10.1145/217474.217542},
  timestamp    = {Tue, 06 Nov 2018 16:58:19 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AharonGLLMMMS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}