A Transformation-Based Approach to Implication of GSTE Assertion Graphs

Figure 5

Determinized and refined assertion graph for FIFO.