BibTeX record conf/dac/HangalCNC05

download as .bib file

@inproceedings{DBLP:conf/dac/HangalCNC05,
  author    = {Sudheendra Hangal and
               Naveen Chandra and
               Sridhar Narayanan and
               Sandeep Chakravorty},
  editor    = {William H. Joyner Jr. and
               Grant Martin and
               Andrew B. Kahng},
  title     = {{IODINE:} a tool to automatically infer dynamic invariants for hardware
               designs},
  booktitle = {Proceedings of the 42nd Design Automation Conference, {DAC} 2005,
               San Diego, CA, USA, June 13-17, 2005},
  pages     = {775--778},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1065579.1065786},
  doi       = {10.1145/1065579.1065786},
  timestamp = {Tue, 06 Nov 2018 16:58:18 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/HangalCNC05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics