CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
model checking data consistency for cache coherence protocols 期刊论文
Springer New York LLC, 2006, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775
Pan Hong; Lin Huimin; Lv Yi
收藏  |  浏览/下载：14/0  |  提交时间：2010/08/11
extended symbolic transition graphs with assignment 会议论文
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Deng WJ; Lin HM
收藏  |  浏览/下载：10/0  |  提交时间：2011/07/28
compositional modelling and verification of ipv6 mobility 会议论文
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Wu P; Zhang DM
收藏  |  浏览/下载：11/0  |  提交时间：2011/07/28
Compositional modelling and verification of ipv6 mobility 期刊论文
Formal techniques for newtowrked and distributed systems - forte 2005, 2005, 卷号: 3731, 页码: 553-556
作者:  Wu, P;  Zhang, DM
收藏  |  浏览/下载：20/0  |  提交时间：2019/05/10
compositional analysis of mobile ip with symbolic transition graphs 会议论文
16th International Conference on Computer Communication (ICCC 2004), Beijing, PEOPLES R CHINA, SEP 15-17,
Wu P; Zhang DM
收藏  |  浏览/下载：7/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
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
收藏  |  浏览/下载：7/0  |  提交时间：2010/08/24
model checking value-passing processes 会议论文
8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07,
Lin HM
收藏  |  浏览/下载：8/0  |  提交时间：2011/07/29
带赋值符号迁移图的局部优化算法 期刊论文
计算机研究与发展, 2000, 卷号: 37, 期号: 1, 页码: 95
方海; 许文; 林惠民
收藏  |  浏览/下载：9/0  |  提交时间：2010/08/24

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