• Test generation for digital systemsUbar, Raimund-JohannesDigest of papers - FTCS 13th Annual International Symposium on Fault-Tolerant Computing, June 28 - 30, 1983, Milano, Italy1983 / p. 374-377