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：
--
发表时间：
2006
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
P. Krcál;W. Yi
通讯作者：
W. Yi
定时会话类型
DOI：
--
发表时间：
2017
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Massimo Bartoletti;Tiziana Cimoli;Maurizio Murgia
通讯作者：
Maurizio Murgia