Through analyzing and comparing the two versions of temporal logic linear temporal logic and branching temporal logic.The properties and their application range are pointed out.
参考文献
相似文献
引证文献
引用本文
张广泉,孙敏.时态逻辑的比较与分析[J].重庆工商大学学报(自然科学版),1999,(2): Zhang Guangquan. Comparison and Analysis of Temporal Logic[J]. Journal of Chongqing Technology and Business University(Natural Science Edition),1999,(2):