Willard G. Bouricius, William C. Carter, et al.
IEEE TC
Paper
Fault-Tolerant Computing: An Introduction and a Viewpoint
Related
William C. Carter, Charles E. McCarthy
IEEE TC
Conference paper
Symbolic simulation for correct machine design
William C. Carter, William H. Joyner, et al.
DAC 1979