@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://doi.ieeecomputersociety.org/10.1109/DATE.2004.1268825},
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}
}