![]() | ![]() |
| 2002 | ||
|---|---|---|
| 1 | Simon Jolly, Atanas N. Parashkevov, Tim McDougall: Automated equivalence checking of switch level circuits . DAC 2002: 299-304 | |
| 1 | Tim McDougall | [1] |
| 2 | Atanas N. Parashkevov | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page