Searching for "Reasoning about Real Circuits." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Reasoning about Real Circuits
by Keith Hanna — 1994 — Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications, LNCS 859
…. Malta, Sept 1994, LNCS, Springer Verlag Reasoning about Real Circuits Keith Hanna University of Kent…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB