Verification of Archive System Opacity With Bounded Labeled Petri Nets

MLA

Zhenzhong Liu. “Verification of Archive System Opacity With Bounded Labeled Petri Nets.” IEEE Access, vol. 12, Jan. 2024, pp. 57185–93. EBSCOhost, https://doi.org/10.1109/ACCESS.2024.3390774.

APA

Zhenzhong Liu. (2024). Verification of Archive System Opacity With Bounded Labeled Petri Nets. IEEE Access, 12, 57185–57193. https://doi.org/10.1109/ACCESS.2024.3390774

Chicago

Zhenzhong Liu. 2024. “Verification of Archive System Opacity With Bounded Labeled Petri Nets.” IEEE Access 12 (January): 57185–93. doi:10.1109/ACCESS.2024.3390774.