位置：成果数据库 > 期刊 > 期刊详情页
基于符号迁移图的互模拟验证算法
  • 期刊名称：计算机工程与科学
  • 时间：0
  • 页码：24(2)：34-41，2002.2
  • 语言：中文
  • 相关项目：π演算和传值CCS 开互模拟的语义理论及其公理化研究
作者： 李舟军|陈火旺|
同期刊论文项目
π演算和传值CCS 开互模拟的语义理论及其公理化研究
期刊论文 5 会议论文 8 著作 6
同项目期刊论文
基于动态博弈描述的电子商务协议公平性
安全协议的扩展Horn逻辑模型及其验证方法
SPVT：一个有效的安全协议验证工具
基于J2EE的电子口岸系统总体应用架构