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}
}
Copyright © 2006-02-10 by Michael Ley (ley@uni-trier.de)