Verification of Dynamic Register Automata
Verification of Dynamic Register Automata
复制标题
动态寄存器自动机的验证
DOI：
10.4230/lipics.fsttcs.2014.653
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Othmane Rezine
中科院分区：
文献类型：
--
作者：
Parosh Aziz Abdulla;Mohamed Faouzi Atig;Ahmet Kara;Othmane Rezine
登录
查看更多内容
MSC 语言的因果闭合
DOI：
--
发表时间：
2005
期刊：
Foundations of Software Technology and Theoretical Computer Science
影响因子：
--
作者：
B. Adsul;Madhavan Mukund;K. Kumar;Vasumathi K. Narayanan
通讯作者：
Vasumathi K. Narayanan
Ad Hoc网络的参数化验证
DOI：
--
发表时间：
2010
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
G. Delzanno;Arnaud Sangnier;G. Zavattaro
通讯作者：
G. Zavattaro
安全冷冻零担
DOI：
--
发表时间：
2006
期刊：
Foundations of Software Technology and Theoretical Computer Science
影响因子：
--
作者：
R. Lazic
通讯作者：
R. Lazic
动态通信自动机和分支高级 MSC
DOI：
--
发表时间：
2013
期刊：
Language and Automata Theory and Applications
影响因子：
--
作者：
B. Bollig;Aiswarya Cyriac;L. Hélouët;A. Kara;T. Schwentick
通讯作者：
T. Schwentick
有向非循环自组织网络的验证
DOI：
--
发表时间：
2013
期刊：
FMOODS/FORTE
影响因子：
--
作者：
P. Abdulla;M. Atig;Othmane Rezine
通讯作者：
Othmane Rezine