110
Voted
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Both non-determinism and multi-level networks compactly characterize the flexibility allowed in implementing a circuit. A theory for representing and manipulating non-deterministi...