[IEEE Comput. Soc. Press IEEE/ACM International Conference on Computer-Aided Design - Santa Clara, CA, USA (1994.11.6-1994.11.10)] IEEE/ACM International Conference on Computer-Aided Design - Verification of systems containing counters
Macii,, Plessier,, Somenzi,Year:
1992
Language:
english
DOI:
10.1109/iccad.1992.279378
File:
PDF, 436 KB
english, 1992