DBLP Record 'conf/isvlsi/HazraBMDCM08'

BibTeX

@inproceedings{DBLP:conf/isvlsi/HazraBMDCM08,
  author    = {Aritra Hazra and
               Ansuman Banerjee and
               Srobona Mitra and
               Pallab Dasgupta and
               Partha Pratim Chakrabarti and
               Chunduri Rama Mohan},
  title     = {Cohesive Coverage Management for Simulation and Formal Property
               Verification},
  booktitle = {ISVLSI},
  year      = {2008},
  pages     = {251-256},
  ee        = {http://dx.doi.org/10.1109/ISVLSI.2008.53},
  crossref  = {DBLP:conf/isvlsi/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isvlsi/2008,
  title     = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2008,
               7-9 April 2008, Montpellier, France},
  booktitle = {ISVLSI},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}