双语例句
We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
词典释义：
Epistemic Logics
时间: 2026-06-05 05:07:28
认知逻辑