|
已选(0)清除
条数/页： 排序方式：
|
| CCS 互模拟等价关系及其完备公理系统的研究 学位论文
博士, 北京: 中国科学院研究生院, 2020
作者: 于婷婷
  收藏 | 浏览/下载：2/0 | 提交时间：2020/08/10 |
| 线性半代数变迁系统的近似互模拟等价 期刊论文
2015, 2015
邓辉; 吴尽昭
收藏 | 浏览/下载：3/0 | 提交时间：2017/06/19
|
| 多项式程序模型的互模拟等价 期刊论文
2015, 2015
邓辉; 吴尽昭
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
| 概率带测试克林代数 期刊论文
2015, 2015
乔瑞; 吴尽昭
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
| 描述逻辑ELU概念及术语公理集的表达能力刻画 期刊论文
软件学报, 2014
申宇铭; 王驹; 唐素勤
收藏 | 浏览/下载：3/0 | 提交时间：2015/11/11
|
| 基于余归纳的最小Kripke结构的求解 期刊论文
软件学报, 2014, 卷号: 25, 期号: 1, 页码: 16-26
高建华; 蒋颖
收藏 | 浏览/下载：15/0 | 提交时间：2014/12/16
|
| 不动点逻辑中的模型构造与推演系统的完备性 学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏 | 浏览/下载：22/0 | 提交时间：2012/07/06
|
| 基于时序可中断π演算的BPEL和BPEL4People建模 期刊论文
北京大学学报 自然科学版, 2012
金暐; 王捍贫; 朱梅霞
收藏 | 浏览/下载：2/0 | 提交时间：2015/10/23
|
| 时间π演算及其弱时间互模拟分析 期刊论文
2010, 2010
许可; 刘连臣; 吴澄; XU Ke; LIU Lian-chen; WU Cheng
收藏 | 浏览/下载：6/0 |
| 生成诊断公式的有限状态进程等价验证 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 2, 页码: 344-347
李明
收藏 | 浏览/下载：5/0 | 提交时间：2011/05/23
|
