Research Article

Formal Modeling and Verification for MVB

Figure 8

States and transitions of a BA.
470139.fig.008