CORC

在结果中检索

CORC

浏览/检索结果: 共7条，第1-7条 帮助

已选(0)清除 条数/页：   排序方式：
Differential privacy in probabilistic systems 期刊论文
INFORMATION AND COMPUTATION, 2017
Yang, Jiannan; Cao, Yongzhi; Wang, Hanpin
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Lattice-valued simulations for quantitative transition systems 期刊论文
international journal of approximate reasoning, 2015
Pan, Haiyu; Li, Yongming; Cao, Yongzhi
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/11
Simulation for lattice-valued doubly labeled transition systems 期刊论文
international journal of approximate reasoning, 2014
Pan, Haiyu; Cao, Yongzhi; Zhang, Min; Chen, Yixiang
收藏  |  浏览/下载：6/0  |  提交时间：2015/11/11
模态逻辑公式为见证的互模拟等价判定 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
-
收藏  |  浏览/下载：9/0  |  提交时间：2009/06/11
on decidability and model checking for a first order modal logic for value-passing processes 期刊论文
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2003, 卷号: 46, 期号: 1, 页码: 45-59
Xue R; Lin HM
收藏  |  浏览/下载：10/0  |  提交时间：2011/07/29
on decidability and model checking for a first order modal logic for value-passing processes 期刊论文
Science in China Series F: Information Sciences, 2003, 卷号: 46, 期号: 1, 页码: 45-59
Rui Xue; Lin Huimin
收藏  |  浏览/下载：8/0  |  提交时间：2010/08/24
Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It 会议论文
Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems, Stirling, Scotland, 1988
Sören Holmström
收藏  |  浏览/下载：3/0  |  提交时间：2010/05/13

©版权所有 ©2017 CSpace - Powered by CSpace