BibTeX record conf/date/CasavantGLMWA01

• > Home > conf/date/CasavantGLMWA01

@inproceedings{DBLP:conf/date/CasavantGLMWA01,
  author       = {Albert E. Casavant and
                  Aarti Gupta and
                  S. Liu and
                  Akira Mukaiyama and
                  Kazutoshi Wakabayashi and
                  Pranav Ashar},
  editor       = {Wolfgang Nebel and
                  Ahmed Jerraya},
  title        = {Property-specific witness graph generation for guided simulation},
  booktitle    = {Proceedings of the Conference on Design, Automation and Test in Europe,
                  {DATE} 2001, Munich, Germany, March 12-16, 2001},
  pages        = {799},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/DATE.2001.915124},
  doi          = {10.1109/DATE.2001.915124},
  timestamp    = {Sat, 30 Sep 2023 09:38:40 +0200},
  biburl       = {https://dblp.org/rec/conf/date/CasavantGLMWA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}