![]() |
@inproceedings{DBLP:conf/date/DasguptaCNKC01,
author = {Pallab Dasgupta and
P. P. Chakrabarti and
Amit Nandi and
Sekar Krishna and
Arindam Chakrabarti},
title = {Abstraction of word-level linear arithmetic functions from
bit-level component descriptions},
booktitle = {DATE},
year = {2001},
pages = {4-8},
ee = {http://doi.acm.org/10.1145/367072.367075},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-11-27 by Michael Ley (ley@uni-trier.de)