| Date of Award | 31 Aug 1988 |
|---|---|
| Original language | English |
| Supervisor | M.R.C.M. Berkelaar (Supervisor 1) |
Equivalence checking of multi-level logic functions by means of multi-level tautology
Student thesis: Master