a petri-net-based correctness analysis of internet stock trading systems

ISCAS OpenIR

	a petri-net-based correctness analysis of internet stock trading systems
	Du YuYue; Jiang ChangJun; Zhou MengChu
	2008
发表期刊	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
ISSN	1094-6977
卷号	38 期号:1 页码:93-99
收录类别	sci
关键词	Correctness Formal Verification Petri Nets (Pns) Stock Trading Systems Temporal Logic
部门归属	Du, YuYue Shandong Univ Sci & Technol, Coll Informat Sci & Engn, Qingdao 266510, Peoples R China. Du, YuYue Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China. Jiang, ChangJun Tongji Univ, Dept Comp Sci & Engn, Shanghai
学科领域	Computer Science, Artificial Intelligence ; Computer Science, Cybernetics ; Computer Science, Interdisciplinary Applications
语种	英语
WOS记录号	WOS:000251840500010
引用统计	被引频次：29[WOS] [WOS记录] [WOS相关记录]
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10415
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Du YuYue,Jiang ChangJun,Zhou MengChu. a petri-net-based correctness analysis of internet stock trading systems[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,2008,38(1):93-99.
APA	Du YuYue,Jiang ChangJun,&Zhou MengChu.(2008).a petri-net-based correctness analysis of internet stock trading systems.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,38(1),93-99.
MLA	Du YuYue,et al."a petri-net-based correctness analysis of internet stock trading systems".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS 38.1(2008):93-99.