go top

定时计算树逻辑

网络释义

  TCTL

我们引进树自动定时交替的时间自动机的检查问题的定时计算树逻辑TCTL)后,自动机理论的方法求解该模型的自然延伸。这解决的问题所带来Henzinger,库普弗曼,瓦迪。

基于1个网页-相关网页

有道翻译

定时计算树逻辑

Calculate the tree logic at regular intervals

以上为机器翻译结果,长、整句建议使用 人工翻译

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定