Karlsruhe Institute of Technology(ドイツ)
Karlsruhe Institute of Technology(ドイツ)
复制标题
卡尔斯鲁厄理工学院（德国）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
影响因子：
2.5
作者：
Platzer, Andre;Tan, Yong Kiam
通讯作者：
Tan, Yong Kiam
一种用于通信顺序过程的证明技术
影响因子：
0.6
作者：
G. Levin;D. Gries
通讯作者：
D. Gries
DOI：
10.1007/3-540-17945-3_18
发表时间：
1987
期刊：
Parallel Architectures and Languages Europe
影响因子：
--
作者：
J. Hooman
通讯作者：
J. Hooman
SPHIN：基于 SPIN 的可重构混合系统模型检查器
DOI：
--
发表时间：
2005
期刊：
International Workshop Automated Verification Critical Systems
影响因子：
--
作者：
Hosung Song;K. Compton;W. Rounds
通讯作者：
W. Rounds
混合过程代数 Hypa 的案例研究
DOI：
10.1142/s0218194005002385
发表时间：
2005
影响因子：
0.9
作者：
K. L. Man;M. Reniers;P. Cuijpers
通讯作者：
P. Cuijpers