predicate mu-calculus for mobile ambients

ISCAS OpenIR

	predicate mu-calculus for mobile ambients
	Lin HM
	2005
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	20 期号:1 页码:95-104
收录类别	sci ; ei
关键词	Model Checking Mobile Ambients Spatial Logic Mu-calculus Fixpoints
部门归属	Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China.
学科领域	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
语种	英语
WOS记录号	WOS:000227033400010
引用统计	被引频次：3[WOS] [WOS记录] [WOS相关记录]
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12456
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Lin HM. predicate mu-calculus for mobile ambients[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2005,20(1):95-104.
APA	Lin HM.(2005).predicate mu-calculus for mobile ambients.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,20(1),95-104.
MLA	Lin HM."predicate mu-calculus for mobile ambients".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 20.1(2005):95-104.