Research Article

Verification of Opacity and Diagnosability for Pushdown Systems

Figure 2

PDA .
654059.fig.002