@inproceedings{DBLP:conf/fmcad/WangH02,
author = {Chao Wang and
Gary D. Hachtel},
title = {Sharp Disjunctive Decomposition for Language Emptiness Checking},
booktitle = {FMCAD},
year = {2002},
pages = {106-122},
ee = {http://dx.doi.org/10.1007/3-540-36126-X_7},
crossref = {DBLP:conf/fmcad/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fmcad/2002,
editor = {Mark Aagaard and
John W. O'Leary},
title = {Formal Methods in Computer-Aided Design, 4th International
Conference, FMCAD 2002, Portland, OR, USA, November 6-8,
2002, Proceedings},
booktitle = {FMCAD},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2517},
year = {2002},
isbn = {3-540-00116-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
