中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	deriving non-determinism from conjunction and disjunction [会议论文] 25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05, Zhan NJ; Majster-Cederbaum M \|
	predicate mu-calculus for mobile ambients [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005-01-01, 卷号: 20, 期号: 1, 页码: 95-104 Lin HM \|
	Predicate μ-calculus for mobile ambients [期刊论文] Springer New York LLC, 2005-01-01, 卷号: 20, 期号: 1, 页码: 95-104 Lin Huimin \|
	model checking real-time value-passing systems [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004-01-01, 卷号: 19, 期号: 4, 页码: 459-471 Chen J; Cao ZN \|
	a predicate spatial logic for mobile processes [期刊论文] Science in China Series F-information Sciences, 2004-01-01, 卷号: 47, 期号: 3, 页码: 394-408 Lin Huimin \|
	A graphical μ-calculus and local model checking [期刊论文] Allerton Press Inc., 2002-01-01, 卷号: 17, 期号: 6, 页码: 665-671 Lin Huimin \|
	model checking value-passing processes [会议论文] 8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07, Lin HM \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In