Research Article

A Transformation-Based Approach to Implication of GSTE Assertion Graphs

Figure 4

Determinized assertion graph for FIFO.
709071.fig.004