我们引进树自动定时交替的时间自动机的检查问题的定时计算树逻辑（TCTL）后，自动机理论的方法求解该模型的自然延伸。这解决的问题所带来Henzinger，库普弗曼，瓦迪。
基于1个网页-相关网页
定时计算树逻辑
Calculate the tree logic at regular intervals
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动