Research Article

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches

Figure 1

Flip-flop model.
272781.fig.001