中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment 期刊论文  OAI收割
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 卷号: 19, 期号: 1, 页码: 153-166
Hu, Y; Yan, J; Choo, KKR
  |  收藏  |  浏览/下载：37/0  |  提交时间：2016/12/09
Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文  OAI收割
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
  |  收藏  |  浏览/下载：25/0  |  提交时间：2016/12/09