DBLP Record 'conf/iccad/HiguchiS99'

BibTeX

@inproceedings{DBLP:conf/iccad/HiguchiS99,
  author    = {Hiroyuki Higuchi and
               Fabio Somenzi},
  title     = {Lazy group sifting for efficient symbolic state traversal
               of FSMs},
  booktitle = {ICCAD},
  year      = {1999},
  pages     = {45-49},
  ee        = {http://portal.acm.org/citation.cfm?id=339492.339567},
  crossref  = {DBLP:conf/iccad/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccad/1999,
  editor    = {Jacob K. White and
               Ellen Sentovich},
  title     = {Proceedings of the 1999 IEEE/ACM International Conference
               on Computer-Aided Design, 1999, San Jose, California, USA,
               November 7-11, 1999},
  booktitle = {ICCAD},
  publisher = {IEEE},
  year      = {1999},
  isbn      = {0-7803-5832-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}