Research Article

Formal Modeling and Verification for MVB

Figure 4

Mastership Transfer states.
470139.fig.004