FengWCL04'

BibTeX

@inproceedings{DBLP:conf/date/FengWCL04,
  author    = {Tao Feng and
               Li-C. Wang and
               Kwang-Ting Cheng and
               Chih-Chan Lin},
  title     = {Improved Symoblic Simulation by Dynamic Funtional Space
               Partitioning},
  booktitle = {DATE},
  year      = {2004},
  pages     = {42-49},
  ee        = {http://csdl.computer.org/comp/proceedings/date/2004/2085/01/208510042abs.htm},
  crossref  = {DBLP:conf/date/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/date/2004,
  title     = {2004 Design, Automation and Test in Europe Conference and
               Exposition (DATE 2004), 16-20 February 2004, Paris, France},
  booktitle = {DATE},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2085-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}