?mu演算
...算法研究_原创论文 关键词：OBDDs；mu演算；时态认知逻辑；符号模型检测；安全协议验证 [gap=895]Keywords ：OBDDs; mu-calculus; temporal logics of knowledge; symbolic model checking; protocol verification； ..
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。