W. Günther

Articles in Scholarly Journals [Incomplete List]

1. Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs
   VLSI Design, vol. 14, no. 1, pp. 53–64, 2002
2. Temperature control and volume measurement in clinical analysers
   Journal of Automated Methods and Management in Chemistry, vol. 10, no. 4, pp. 171–174, 1988