A Transformation-Based Approach to Implication of GSTE Assertion Graphs

Figure 1

Fair edges to fair states.