Revisiting reachability in timed automata
Revisiting reachability in timed automata
复制标题
重新审视定时自动机中的可达性
DOI：
10.1109/lics.2017.8005098
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
M. Shirmohammadi
中科院分区：
文献类型：
--
作者：
Karin Quaas;Worrell;M. Shirmohammadi
登录
查看更多内容
重新审视有反转限制的计数器机
DOI：
--
发表时间：
2008
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
A. Finkel;Arnaud Sangnier
通讯作者：
Arnaud Sangnier
关于图的简洁表示的注解
DOI：
10.1016/s0019-9958(86)80009-2
发表时间：
1986
期刊：
Inf. Control.
影响因子：
--
作者：
C. Papadimitriou;M. Yannakakis
通讯作者：
M. Yannakakis
定时自动机中的持续时间和参数模型检查
DOI：
--
发表时间：
2008
期刊：
TOCL
影响因子：
--
作者：
V. Bruyère;E. Dall'Olio;Jean
通讯作者：
Jean
使用 Presburger 算法在定时自动机中进行持续时间、参数模型检查
DOI：
--
发表时间：
2003
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
--
作者：
V. Bruyère;E. Dall'Olio;Jean
通讯作者：
Jean
实数加法和多项式层次结构
影响因子：
0.5
作者：
Eduardo Sontag
通讯作者：
Eduardo Sontag