Automated Game-Theoretic Verification of Security Systems
Automated Game-Theoretic Verification of Security Systems
复制标题
安全系统的自动博弈论验证
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Mu C
中科院分区：
文献类型：
--
作者：
Mu C
登录
查看更多内容
影响因子：
2.6
作者：
Martin J. Osborne
通讯作者：
Martin J. Osborne
DOI：
--
发表时间：
2011
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
M. Ummels;D. Wojtczak
通讯作者：
D. Wojtczak
影响因子：
0.8
作者：
Tarek Mhamdi;Osman Hasan;S. Tahar
通讯作者：
S. Tahar
影响因子：
1.3
作者：
Ruchira S. Datta
通讯作者：
Ruchira S. Datta
与新的数学物种共存
DOI：
--
发表时间：
1986
期刊：
影响因子：
--
作者：
L. Steen
通讯作者：
L. Steen