BibTeX record conf/vdat/VineeshKA19

• > Home > conf/vdat/VineeshKA19

@inproceedings{DBLP:conf/vdat/VineeshKA19,
  author       = {V. S. Vineesh and
                  Binod Kumar and
                  Jay Adhaduk},
  editor       = {Anirban Sengupta and
                  Sudeb Dasgupta and
                  Virendra Singh and
                  Rohit Sharma and
                  Santosh Kumar Vishvakarma},
  title        = {Identification of Effective Guidance Hints for Better Design Debugging
                  by Formal Methods},
  booktitle    = {{VLSI} Design and Test - 23rd International Symposium, {VDAT} 2019,
                  Indore, India, July 4-6, 2019, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1066},
  pages        = {413--427},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-981-32-9767-8\_35},
  doi          = {10.1007/978-981-32-9767-8\_35},
  timestamp    = {Thu, 05 Sep 2019 19:42:13 +0200},
  biburl       = {https://dblp.org/rec/conf/vdat/VineeshKA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}