on decidability and model checking for a first order modal logic for value-passing processes

	on decidability and model checking for a first order modal logic for value-passing processes
	Rui Xue; Lin Huimin; Xue, R (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China
	2003
发表期刊	Science in China Series F: Information Sciences
卷号	46 期号:1 页码:45-59
收录类别	springer,sci
关键词	First Order Modal Logic Decidability Model Checking Value-passing Processes
部门归属	计算机科学国家重点实验室
WOS记录号	WOS:000181456200004
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/4454
专题	基础软件与系统重点实验室
通讯作者	Xue, R (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Rui Xue,Lin Huimin,Xue, R . on decidability and model checking for a first order modal logic for value-passing processes[J]. Science in China Series F: Information Sciences,2003,46(1):45-59.
APA	Rui Xue,Lin Huimin,&Xue, R .(2003).on decidability and model checking for a first order modal logic for value-passing processes.Science in China Series F: Information Sciences,46(1),45-59.
MLA	Rui Xue,et al."on decidability and model checking for a first order modal logic for value-passing processes".Science in China Series F: Information Sciences 46.1(2003):45-59.