Research Article

Compositional Abstraction Refinement for Component-Based Systems

Figure 3

The abstraction for the TGC.
703098.fig.003