Authors: KAM T VILLA T BRAYTON RK SANGIOVANNIVINCENTELLI AL

Citation: T. Kam et al., IMPLICIT COMPUTATION OF COMPATIBLE SETS FOR STATE MINIMIZATION OF ISFSMS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(7), 1997, pp. 657-676

Authors: VILLA T KAM T BRAYTON RK SANGIOVANNIVINCENTELLI AL

Citation: T. Villa et al., EXPLICIT AND IMPLICIT ALGORITHMS FOR BINATE COVERING PROBLEMS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(7), 1997, pp. 677-691

Authors: KAM T VILLA T BRAYTON RK SANGIOVANNIVINCENTELLI AL

Citation: T. Kam et al., THEORY AND ALGORITHMS FOR STATE MINIMIZATION OF NONDETERMINISTIC FSMS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(11), 1997, pp. 1311-1322

Authors: KAM T SUBRAHMANYAM PA

Citation: T. Kam et Pa. Subrahmanyam, COMPARING LAYOUTS WITH HDL MODELS - A FORMAL VERIFICATION TECHNIQUE, IEEE transactions on computer-aided design of integrated circuits and systems, 14(4), 1995, pp. 503-509

Authors: KAM T BIRMINGHAM CL GOLDNER EM

Citation: T. Kam et al., POLYGLANDULAR AUTOIMMUNE SYNDROME AND ANOREXIA-NERVOSA, The International journal of eating disorders, 16(1), 1994, pp. 101-103