定量性质相关硕士博士期刊学术论文

定量性质相关论文

为讨论可能的计算树逻辑（PoCTL）与计算树逻辑（CTL）的关系,给出PoCTL公式与CTL公式等价的概念,利用公式的等价性证明了CTL是PoCTL的一个......

期刊