Roberto Gorrieri 人物
相关论文查看全部 (3)
A Classification of Security Properties for Process Algebras1
1995Journal of Computer Security引用 310
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
1998Theoretical Computer Science引用 288
Foundations of Security Analysis and Design V
2009Lecture notes in computer science引用 265
相关公司查看全部 (1)
University of BolognaUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据