abstract imptementation of algebrioc specifications in a temporcl logic language

Autoria(s): 林惠民; 龚淳; 谢洪亮
Data(s)

1991
Identificador

http://ir.iscas.ac.cn/handle/311060/4506

http://www.irgrid.ac.cn/handle/1471x/66890
Idioma(s)

英语
Fonte

林惠民; 龚淳; 谢洪亮.abstract imptementation of algebrioc specifications in a temporcl logic language,Journal of Computer Science and Technology,1991,6(1):11
Palavras-Chave #暂存逻辑语言 #代数区分 #暂存逻辑公式
Tipo

期刊论文
Acesso ao item digital