Don't Care Words with an Application to the Automata-Based Approach for Real Addition

14 years 3 months ago

d Abstract) Jochen Eisinger1 and Felix Klaedtke2 1 Albert-Ludwigs-Universit

Jochen Eisinger, Felix Klaedtke

Automata-based Set Representation | CAV 2006 | Don't Cares | Hardware | Weak Deterministic B¨uchi |

claim paper

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2006
Where	CAV
Authors	Jochen Eisinger, Felix Klaedtke

Comments (0)