BibTeX record conf/dac/ChangLPK99

• > Home > conf/dac/ChangLPK99

@inproceedings{DBLP:conf/dac/ChangLPK99,
  author       = {You{-}Sung Chang and
                  Seungjong Lee and
                  In{-}Cheol Park and
                  Chong{-}Min Kyung},
  editor       = {Mary Jane Irwin},
  title        = {Verification of a Microprocessor Using Real World Applications},
  booktitle    = {Proceedings of the 36th Conference on Design Automation, New Orleans,
                  LA, USA, June 21-25, 1999},
  pages        = {181--184},
  publisher    = {{ACM} Press},
  year         = {1999},
  url          = {https://doi.org/10.1145/309847.311478},
  doi          = {10.1145/309847.311478},
  timestamp    = {Sun, 19 Jan 2025 13:34:41 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ChangLPK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}