Path Checking for MTL and TPTL over Data Words
Path Checking for MTL and TPTL over Data Words
复制标题
通过数据字进行 MTL 和 TPTL 的路径检查
DOI：
10.23638/lmcs-13(3:19)2017
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
S. Feng
中科院分区：
文献类型：
--
作者：
Karin Quaas;M. Lohrey;S. Feng
登录
查看更多内容
时态逻辑 Ehrenfeucht-Fraïssé 博弈的直到层次结构和其他应用
影响因子：
1
作者：
K. Etessami;T. Wilke
通讯作者：
T. Wilke
通过单计数器自动机对记忆线性时间逻辑进行模型检查
影响因子：
1.1
作者：
Stephane Demri;R. Lazic;Arnaud Sangnier
通讯作者：
Arnaud Sangnier
论 TPTL 和 MTL 在 ω-数据字上的表达能力
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Claudia Carapelle;Shiguang Feng;O. Gil;Karin Quaas
通讯作者：
Karin Quaas
论时间逻辑路径检查的复杂性
DOI：
--
发表时间：
2013
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
Daniel Bundala;Joël Ouaknine
通讯作者：
Joël Ouaknine
LTL 路径检查可高效并行化
DOI：
10.1007/978-3-642-02930-1_20
发表时间：
2009
期刊：
影响因子：
--
作者：
Lars Kuhtz;Bernd Finkbeiner
通讯作者：
Bernd Finkbeiner