BibTeX record conf/dac/DillJRBFFRSW02

• > Home > conf/dac/DillJRBFFRSW02

@inproceedings{DBLP:conf/dac/DillJRBFFRSW02,
  author       = {David L. Dill and
                  Nate James and
                  Shishpal Rawat and
                  G{\'{e}}rard Berry and
                  Limor Fix and
                  Harry Foster and
                  Rajeev K. Ranjan and
                  Gunnar St{\aa}lmarck and
                  Curt Widdoes},
  title        = {Formal verification methods: getting around the brick wall},
  booktitle    = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
                  New Orleans, LA, USA, June 10-14, 2002},
  pages        = {576--577},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/513918.514064},
  doi          = {10.1145/513918.514064},
  timestamp    = {Mon, 27 May 2019 12:14:19 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/DillJRBFFRSW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}