HE, Leifeng; LIU, Guanjun. Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams. Computing and Informatics, [S. l.], v. 40, n. 5, p. 1174–1196, 2021. DOI: 10.31577/cai_2021_5_1174. Disponível em: https://www.cai.sk/ojs/index.php/cai/article/view/2021_5_1174. Acesso em: 10 dec. 2024.