Proc.of Algebra, Languages and Computation
Proc.of Algebra, Languages and Computation
复制标题
代数、语言与计算学进展
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
T. Adachi(ed.)
中科院分区：
文献类型：
--
作者：
Y. Kobayashi;T. Adachi(ed.)
实时系统设计：持续时间计算和程序规范之间的接口
DOI：
10.1007/978-1-4471-3078-9_3
发表时间：
1995
期刊：
--
影响因子：
--
作者：
E. Olderog;M. Schenke
通讯作者：
M. Schenke
具有时间限制和并发性的反应式系统的规范和改造
DOI：
--
发表时间：
1994
期刊：
Formal Techniques in Real-Time and Fault-Tolerant Systems
影响因子：
--
作者：
M. Schenke
通讯作者：
M. Schenke