Philokyprou, G.; Gaitanis, N. (Informatica, 1976)
This paper is concerned with formal derivation of generalized setting (excitation) equations of the flip-flop memory elements of a sequential machine. The equations are expressed in terms of four normalized transition ...