Mathematical Problems in Engineering

Research Article

Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation

Figure 3

Approximate bisimulation for software programs.
421926.fig.003