Software for analysis of model
Software for analysis of model
复制标题
模型分析软件
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
影响因子：
2.5
作者：
DENICOLA, R;VAADRAGER, F
通讯作者：
VAADRAGER, F
广义 Büchi 自动机的并行显式空性检查的变体
DOI：
--
发表时间：
2017
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
作者：
E. Renault;A. Duret;F. Kordon;D. Poitrenaud
通讯作者：
D. Poitrenaud
影响因子：
1
作者：
Bradley, Aaron R.;Manna, Zohar
通讯作者：
Manna, Zohar
影响因子：
--
作者：
M. Kuntz;Florian Leitner;S. Leue
通讯作者：
S. Leue
DOI：
10.1080/00031305.1969.10481865
发表时间：
1969
期刊：
影响因子：
--
作者：
Richard M. Brugger
通讯作者：
Richard M. Brugger