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

Item hits: (Results 1-8 of 8)

Items/Page: Sort:
	Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316 Xu, LL; Lin, HM
	a predicate spatial logic and model checking for mobile processes [会议论文] 1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004), Guiyang, PEOPLES R CHINA, SEP 20-24, Lin HM \|
	extended symbolic transition graphs with assignment [会议论文] 29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28, Deng WJ; Lin HM \|
	predicate mu-calculus for mobile ambients [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005-01-01, 卷号: 20, 期号: 1, 页码: 95-104 Lin HM \|
	making timed automata communicate [会议论文] 10th Colloquium of the United-Nations-University-International-Institute-for-Software-Technolog y (UNU/ISST), Lisbon, PORTUGAL, MAR 18-20, Chen J; Lin HM \|
	on decidability and model checking for a first order modal logic for value-passing processes [期刊论文] SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2003-01-01, 卷号: 46, 期号: 1, 页码: 45-59 Xue R; Lin HM \|
	model checking value-passing processes [会议论文] 8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07, Lin HM \|
	a complete axiomatisation for timed automata [会议论文] 20th Conference on Foundations of Software Technology and Theoretical Computer Science, NEW DELHI, INDIA, DEC 13-15, Lin HM; Yi W \|


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