@ARTICLE{Basin91c,
AUTHOR = {Basin, David A. and Brown, G. M. and Leeser, M. E.},
TITLE = {Formally Verified Synthesis of Combinational {CMOS} Circuits},
JOURNAL = {Integration: The Intern. Journal of VLSI Design},
YEAR = {1991},
VOLUME = {11},
PAGES = {235--250},
}
Entry last modified by Uwe Brahm/MPII/DE, 08/06/2014