NanshiS06'

@inproceedings{DBLP:conf/dac/NanshiS06,
  author    = {Kuntal Nanshi and
               Fabio Somenzi},
  title     = {Guiding simulation with increasingly refined abstract traces},
  booktitle = {DAC},
  year      = {2006},
  pages     = {737-742},
  ee        = {http://doi.acm.org/10.1145/1146909.1147097},
  crossref  = {DBLP:conf/dac/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dac/2006,
  editor    = {Ellen Sentovich},
  title     = {Proceedings of the 43rd Design Automation Conference, DAC
               2006, San Francisco, CA, USA, July 24-28, 2006},
  booktitle = {DAC},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-381-6},
  ee        = {http://dl.acm.org/citation.cfm?id=1146909},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}