TY - SER AU - Dhawan, Sudhir AU - De Vries, Ronald C. TI - Design of Self-Checking Sequential Machines KW - Logic Design KW - Self-Checking Systems KW - Sequential Machines ER -