Sciweavers

CAV
2006
Springer
80views Hardware» more  CAV 2006»
14 years 3 months ago
Don't Care Words with an Application to the Automata-Based Approach for Real Addition
d Abstract) Jochen Eisinger1 and Felix Klaedtke2 1 Albert-Ludwigs-Universit
Jochen Eisinger, Felix Klaedtke