DBLP Record 'conf/aspdac/ParthasarathyICW04'

BibTeX

@inproceedings{DBLP:conf/aspdac/ParthasarathyICW04,
  author    = {Ganapathy Parthasarathy and
               Madhu K. Iyer and
               Kwang-Ting Cheng and
               Li-C. Wang},
  title     = {Efficient reachability checking using sequential SAT},
  booktitle = {ASP-DAC},
  year      = {2004},
  pages     = {418-423},
  ee        = {http://doi.acm.org/10.1145/1015090.1015195},
  crossref  = {DBLP:conf/aspdac/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aspdac/2004,
  editor    = {Masaharu Imai},
  title     = {Proceedings of the 2004 Conference on Asia South Pacific
               Design Automation: Electronic Design and Solution Fair 2004,
               Yokohama, Japan, January 27-30, 2004},
  booktitle = {ASP-DAC},
  publisher = {IEEE},
  year      = {2004},
  isbn      = {0-7803-8175-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}