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

Item hits: (Results 1-4 of 4)

Items/Page: Sort:
	decomposition of automata pdl and its extension [会议论文] 2012 International MultiConference of Engineers and Computer Scientists, IMECS 2012, Kowloon, Hong kong, March 14, 2012 - March 16, 2012 Liu Xinxin; Xue Bingtian
	specification in pdl with recursion [会议论文] 4th NASA Formal Methods Symposium, NFM 2012, Norfolk, VA, United states, April 3, 2012 - April 5, 2012 Liu Xinxin; Xue Bingtian
	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 \|
	expansive-bisimulation for context-free processes [会议论文] Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25, Liu Xinxin \|


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