abstract imptementation of algebrioc specifications in a temporcl logic language

	abstract imptementation of algebrioc specifications in a temporcl logic language
	Lin HM(林惠民); Gong C(龚淳); Xie HL(谢洪亮)
	1991
发表期刊	Journal of Computer Science and Technology
ISSN	1000-9000
卷号	6 期号:1 页码:11
收录类别	cscd
关键词	暂存逻辑语言代数区分暂存逻辑公式
部门归属	计算机科学国家重点实验室
语种	英语
CSCD记录号	CSCD:139796
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/4506
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Lin HM,Gong C,Xie HL. abstract imptementation of algebrioc specifications in a temporcl logic language[J]. Journal of Computer Science and Technology,1991,6(1):11.
APA	林惠民,龚淳,&谢洪亮.(1991).abstract imptementation of algebrioc specifications in a temporcl logic language.Journal of Computer Science and Technology,6(1),11.
MLA	林惠民,et al."abstract imptementation of algebrioc specifications in a temporcl logic language".Journal of Computer Science and Technology 6.1(1991):11.