QQ客服 官方微博 反馈留言

	property preservation by petri-net-based refinements in system design
	Xia Chuanliang
	2008
会议名称	9th International Conference for Young Computer Scientists
会议日期	NOV 18-21,
会议地点	Zhangjiajie, PEOPLES R CHINA
关键词	Petri nets refinement liveness property preservation transformation
页码	240-246
会议录出版者	PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5
会议录出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
ISBN号	978-1-4244-4198-3
内容类型	会议论文
源URL	[http://ir.iscas.ac.cn/handle/311060/10544]
专题	软件研究所_计算机科学国家重点实验室 _会议论文
推荐引用方式 GB/T 7714	Xia Chuanliang. property preservation by petri-net-based refinements in system design[C]. 见:9th International Conference for Young Computer Scientists. Zhangjiajie, PEOPLES R CHINA. NOV 18-21,.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。