He L, Liu G. Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams. Comput. Inform. [Internet]. 2021 Dec. 31 [cited 2024 Nov. 7];40(5):1174–1196. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2021_5_1174