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

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	on detecting regular predicates in distributed systems [会议论文] 7th International Symposium on Automated Technology for Verification and Analysis, Macao, PEOPLES R CHINA, OCT 13-16, Huang Hongtao
	on the expressive power of qltl [会议论文] 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28, Wu Zhilin \|
	deciding weak bisimilarity of normed context-free processes using tableau [会议论文] 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28, Liu Xinxin; Chen Haiyan \|
	controlling process modularity in mobile computing [会议论文] 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28, Kitamura Takashi; Lin Huimin \|
	discovering non-linear ranking functions by solving semi-algebraic systems [会议论文] 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28, Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun; Zhou Chaochen \|


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