PeranandamNRWKR06'

BibTeX

@inproceedings{DBLP:conf/dac/PeranandamNRWKR06,
  author    = {Prakash Mohan Peranandam and
               Pradeep Kumar Nalla and
               J{\"u}rgen Ruf and
               Roland J. Weiss and
               Thomas Kropf and
               Wolfgang Rosenstiel},
  title     = {Fast falsification based on symbolic bounded property checking},
  booktitle = {DAC},
  year      = {2006},
  pages     = {1077-1082},
  ee        = {http://doi.acm.org/10.1145/1146909.1147181},
  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},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}