Progress-Preserving Refinements of CTA
Progress-Preserving Refinements of CTA
复制标题
CTA 的进步保持改进
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Massimo Bartoletti
中科院分区：
文献类型：
--
作者：
Massimo Bartoletti
登录
查看更多内容
定时自动机的迹线抽象细化
DOI：
10.1007/978-3-319-11936-6_28
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
Weifeng Wang;L. Jiao
通讯作者：
L. Jiao
重新审视定时规范理论：线性时间视角
DOI：
10.1007/978-3-642-33365-1_7
发表时间：
2012
期刊：
ArXiv
影响因子：
--
作者：
Chris Chilton;M. Kwiatkowska;Xu Wang
通讯作者：
Xu Wang
完美定时频道的可判定性是什么？
DOI：
10.1007/978-3-662-44584-6_28
发表时间：
2017
期刊：
ArXiv
影响因子：
--
作者：
P. Abdulla;M. Atig;S. Krishna
通讯作者：
S. Krishna
定时自动机的采样语义
DOI：
10.2168/lmcs-6(3:14)2010
发表时间：
2010
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
P. Abdulla;P. Krcál;W. Yi
通讯作者：
W. Yi
DOI：
10.1007/978-3-642-37075-5_6
发表时间：
2012
期刊：
ACM Trans. Softw. Eng. Methodol.
影响因子：
--
作者：
Lorenzo Clemente;F. Herbreteau;Amélie Stainer;G. Sutre
通讯作者：
G. Sutre