Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches

Figure 3

Synchronous counter.